{"id":"W2015172530","doi":"10.1016/j.tcs.2003.09.013","title":"Metrics for labelled Markov processes","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":309,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University; Université Laval","funders":"","keywords":"Bisimulation; Probabilistic logic; Markov process; Metric (unit); Mathematics; Equivalence (formal languages); Markov chain; Property (philosophy); Markov property; Stochastic process; Discrete mathematics; Markov model; Statistics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004033705,0.0001605479,0.0001822042,0.0002687996,0.0004624582,0.0004264944,0.002446124,0.00005429101,0.00001749044],"category_scores_gemma":[0.002997492,0.0001325775,0.00004841767,0.003551433,0.001318659,0.0008635943,0.0003330304,0.0001172999,0.00003275146],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006370371,"about_ca_system_score_gemma":0.0003144554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":3.305225e-7,"about_ca_topic_score_gemma":8.989627e-8,"domain_scores_codex":[0.9976954,0.0001466876,0.000279811,0.0006942222,0.0006094947,0.0005743473],"domain_scores_gemma":[0.9975671,0.0006911971,0.00008922842,0.0008407607,0.0005995613,0.0002121928],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004359048,0.00004504735,0.00001851154,0.00002504788,0.000001877729,7.14584e-7,0.0001404547,0.00002751038,0.0002339752,0.9713329,0.0000499849,0.02811963],"study_design_scores_gemma":[0.0003401676,0.0002914986,0.00007909861,0.00001682102,0.000005758255,0.00003099864,0.000005680049,0.5219951,0.05965174,0.4143169,0.002966454,0.0002998085],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001970163,0.00005940374,0.9900077,0.0002286696,0.0008492059,0.0003478723,0.000001185143,0.0002044831,0.006331311],"genre_scores_gemma":[0.357307,0.000004704293,0.6423322,0.0002755272,0.00003433552,0.0000245982,2.40925e-7,0.000005557657,0.00001575917],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.557016,"threshold_uncertainty_score":0.5406353,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02381291476889642,"score_gpt":0.3019455865412595,"score_spread":0.2781326717723631,"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."}}