{"id":"W4205165567","doi":"10.1016/s0304-3975(03)00604-2","title":"Metrics for labelled Markov processes","year":2004,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Bisimulation; Probabilistic logic; Mathematics; Markov process; Metric (unit); 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00756414,0.001859055,0.00205274,0.007119039,0.002232732,0.005919299,0.002031343,0.003038873,0.008251169],"category_scores_gemma":[0.04760482,0.001073546,0.001657513,0.004560556,0.003826613,0.0154555,0.00413591,0.003132379,0.0009443396],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006725008,"about_ca_system_score_gemma":0.002093875,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002949027,"about_ca_topic_score_gemma":0.002305993,"domain_scores_codex":[0.9917543,0.003227957,0.0007883123,0.001429469,0.002107402,0.0006925795],"domain_scores_gemma":[0.9563954,0.02785587,0.005071226,0.002567912,0.004803852,0.003305715],"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.00004462277,0.00001726241,0.0005874812,0.00008899892,0.00002454946,0.0000433627,0.0001735555,0.009822333,0.0003850366,0.9800945,0.0008923869,0.007825967],"study_design_scores_gemma":[0.000007531869,0.00002115024,0.0002365442,0.00003544712,0.00001181077,0.00002825616,0.00002757154,0.0369709,0.0001984125,0.9604591,0.001985904,0.00001736534],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06458727,0.002107456,0.9131174,0.001562422,0.0002629004,0.0001824122,0.001185621,0.0005906547,0.01640388],"genre_scores_gemma":[0.7493841,0.002345584,0.2232035,0.0005890315,0.0006654581,0.0009434441,0.003361755,0.0007687974,0.01873834],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008251169,"threshold_uncertainty_score":0.04879361,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0218450360997772,"score_gpt":0.3026610881012656,"score_spread":0.2808160520014884,"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."}}