{"id":"W2282572932","doi":"10.1007/3-540-45694-5_24","title":"Weak Bisimulation is Sound and Complete for PCTL*","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University; Université Laval","funders":"","keywords":"Bisimulation; Probabilistic logic; Mathematics; Discrete mathematics; Computer science; Countable set; Markov chain; Theoretical computer science; Artificial intelligence","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001018106,0.0004256847,0.0004291437,0.0006533396,0.0003473271,0.0006056269,0.001868464,0.0003025204,0.00001792904],"category_scores_gemma":[0.0001441327,0.0004132761,0.0000987785,0.0004129981,0.000592062,0.0008162436,0.0006824836,0.0004140306,0.00002592859],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001952953,"about_ca_system_score_gemma":0.00008890265,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007309957,"about_ca_topic_score_gemma":0.000006855717,"domain_scores_codex":[0.9968735,0.00003434125,0.0005063657,0.00140142,0.0006725438,0.000511803],"domain_scores_gemma":[0.9974464,0.0006101668,0.0003306129,0.00120208,0.0002761446,0.0001345907],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007352388,0.000017821,0.00004774439,0.00007980789,0.00001079736,0.000003508722,0.001031881,0.01065977,0.0001203872,0.1749977,0.00004224253,0.8129809],"study_design_scores_gemma":[0.000195995,0.0001231446,0.0001309412,0.00008106373,0.000005655887,0.00002375965,6.804102e-8,0.7209715,0.0002695479,0.2727389,0.005101505,0.0003579453],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005156516,0.0003253732,0.9948279,0.0005781596,0.001296587,0.0006662362,0.00001437803,0.0001271384,0.002112616],"genre_scores_gemma":[0.02618976,0.00003823031,0.9718549,0.001196043,0.0003138583,0.00001168084,0.000004649111,0.00003014062,0.0003607112],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.812623,"threshold_uncertainty_score":0.9998319,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06391941755167309,"score_gpt":0.3009457811428017,"score_spread":0.2370263635911286,"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."}}