{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002547058,0.0001604725,0.000179309,0.0002847434,0.0004635445,0.0004402054,0.003127839,0.0000548864,0.000006344564],"category_scores_gemma":[0.001309015,0.0001322604,0.00005017316,0.003468446,0.001530663,0.001029996,0.0006472168,0.0001221916,0.00003855536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001148624,"about_ca_system_score_gemma":0.0003973,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001272295,"about_ca_topic_score_gemma":2.271436e-7,"domain_scores_codex":[0.9977686,0.00005191954,0.0002781877,0.0006930351,0.0006490959,0.0005591378],"domain_scores_gemma":[0.9979407,0.0003732397,0.0000884957,0.000808147,0.0005770776,0.0002123479],"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.000007475722,0.00005581103,0.000005799136,0.00002692006,0.000001876384,0.000001182319,0.0002371248,0.0002179767,0.0003353365,0.9604479,0.00001327977,0.03864929],"study_design_scores_gemma":[0.0005280471,0.0003766961,0.0001269476,0.00002904136,0.000005262993,0.00002765015,0.000004447851,0.3199833,0.05500562,0.6232007,0.0004397357,0.0002725893],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004251673,0.00004343195,0.9918454,0.0008699086,0.0007330274,0.0003651847,0.000001642241,0.0002755242,0.001614268],"genre_scores_gemma":[0.3968105,0.000004440413,0.6027512,0.0003360686,0.00006495234,0.00002232635,3.839779e-7,0.000005231704,0.000004851079],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3925588,"threshold_uncertainty_score":0.5812355,"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."}}