{"id":"W2405468764","doi":"","title":"Bisimulation Metrics are Optimal Value Functions","year":2014,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Bisimulation; Markov decision process; Equivalence (formal languages); Metric (unit); Markov process; Bellman equation; Metric space; State space; Mathematics; Function (biology); Computer science; Theoretical computer science; Discrete mathematics; Mathematical optimization","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004688558,0.001777401,0.002142773,0.00382501,0.001069665,0.005107433,0.001641457,0.00193654,0.007636932],"category_scores_gemma":[0.03415492,0.001014199,0.001332082,0.003673806,0.003542704,0.01302897,0.003532071,0.005104008,0.0008477705],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00479443,"about_ca_system_score_gemma":0.001856873,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006934316,"about_ca_topic_score_gemma":0.0007557264,"domain_scores_codex":[0.992857,0.001940015,0.0005365997,0.001403586,0.002560238,0.0007026313],"domain_scores_gemma":[0.9749165,0.01560663,0.002453202,0.002438065,0.003188269,0.001397428],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001021452,0.0000378197,0.0004499251,0.0001279927,0.00002372495,0.000020887,0.0001015349,0.01296618,0.001010223,0.957446,0.001230705,0.02648286],"study_design_scores_gemma":[0.000008964305,0.0000265438,0.0001840675,0.00003143313,0.00001260039,0.00002613389,0.00002450295,0.02871212,0.001144952,0.9683234,0.001494705,0.00001064563],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1039108,0.002765324,0.8522826,0.002506413,0.0002414493,0.0001064205,0.0004240793,0.0005731306,0.03718972],"genre_scores_gemma":[0.8848626,0.001875978,0.1004853,0.0005369873,0.0003161277,0.0003285797,0.0005299601,0.0007177294,0.01034684],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007636932,"threshold_uncertainty_score":0.03478622,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02870394310900484,"score_gpt":0.267680366191953,"score_spread":0.2389764230829482,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}