{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007560621,0.001861256,0.002029256,0.007120518,0.00227676,0.005986439,0.002030024,0.002997371,0.008142412],"category_scores_gemma":[0.04725746,0.001071416,0.001664881,0.004540347,0.003889611,0.01558932,0.004171124,0.00312206,0.0009311129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006737899,"about_ca_system_score_gemma":0.002100351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003003439,"about_ca_topic_score_gemma":0.002347891,"domain_scores_codex":[0.9919155,0.00313528,0.0007850719,0.001405511,0.002073091,0.0006855302],"domain_scores_gemma":[0.9573455,0.02712356,0.00503763,0.002509865,0.004723776,0.003259646],"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.00004298691,0.00001631409,0.0005755942,0.00008494331,0.00002334022,0.00004246431,0.0001751784,0.009355995,0.0003692221,0.9809223,0.0008396423,0.007551921],"study_design_scores_gemma":[0.000007441325,0.00002068881,0.0002286826,0.00003452288,0.00001159857,0.00002752312,0.00002806096,0.03527883,0.0001940919,0.9622076,0.001943786,0.00001718243],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06462575,0.002073241,0.9133915,0.001515365,0.000256728,0.0001806808,0.001145508,0.0005855879,0.01622568],"genre_scores_gemma":[0.7512827,0.002301487,0.2218906,0.0005625503,0.0006418175,0.0009317848,0.003270275,0.0007461575,0.01837265],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008142412,"threshold_uncertainty_score":0.04888713,"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."}}