{"id":"W4412514770","doi":"10.1007/978-3-031-98679-6_12","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Clarendon Fund; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Markov chain; Probabilistic logic; Theoretical computer science; Markov process; Examples of Markov chains; Algorithm; Artificial intelligence; Markov model; Markov property; Machine learning; Mathematics; Statistics","routes":{"ca_aff":true,"ca_fund":true,"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.002715622,0.0007529519,0.000745105,0.001268485,0.0005949629,0.001809363,0.001790286,0.001163671,0.005542072],"category_scores_gemma":[0.01132751,0.0004478693,0.000993387,0.001308338,0.001852799,0.002468051,0.002515722,0.002251265,0.001620146],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001257856,"about_ca_system_score_gemma":0.001024505,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007088789,"about_ca_topic_score_gemma":0.0004792767,"domain_scores_codex":[0.9955407,0.001558086,0.0002840798,0.0008319397,0.001575315,0.000209853],"domain_scores_gemma":[0.992015,0.004698418,0.0006402666,0.001689547,0.0007792568,0.000177589],"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.0002905608,0.0001192033,0.0005515368,0.0003609342,0.0000800003,0.0002456661,0.0002767391,0.3488558,0.03707734,0.4760818,0.002770334,0.13329],"study_design_scores_gemma":[0.00001995213,0.00005444067,0.0001060639,0.00003536659,0.00001372241,0.00009069037,0.00001991113,0.6523313,0.01300366,0.32959,0.004707542,0.00002733914],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009542654,0.0001504844,0.9866481,0.00009731706,0.00004479213,0.00006445885,0.00008525666,0.0009539897,0.002412843],"genre_scores_gemma":[0.4213759,0.0003800847,0.5719288,0.0001875353,0.00008080994,0.0002704532,0.0006921189,0.0005521498,0.004532074],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005542072,"threshold_uncertainty_score":0.01854008,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0426541683168992,"score_gpt":0.2839261103288533,"score_spread":0.2412719420119541,"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."}}