{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002382138,0.001609089,0.001236234,0.001219769,0.002452021,0.004602456,0.001870608,0.001658843,0.008860557],"category_scores_gemma":[0.009584425,0.001655268,0.002405192,0.001412435,0.005024636,0.007981543,0.005652461,0.007219248,0.004445684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002142692,"about_ca_system_score_gemma":0.003936667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002686084,"about_ca_topic_score_gemma":0.004241116,"domain_scores_codex":[0.9965606,0.0004598338,0.0002588063,0.0006831564,0.001328183,0.0007093217],"domain_scores_gemma":[0.9926026,0.003871135,0.000449622,0.001641052,0.001152176,0.0002833308],"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.0007705581,0.000384465,0.00101704,0.0008322159,0.00009087506,0.0003665469,0.001024787,0.0230743,0.02429004,0.7610325,0.01793581,0.1691809],"study_design_scores_gemma":[0.0001592407,0.0001151469,0.0002116989,0.00006776009,0.0000878725,0.0001577022,0.0001350739,0.06169773,0.05107865,0.8662559,0.01996214,0.00007102056],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01957675,0.0001993746,0.9411847,0.001091131,0.0002737432,0.0002942028,0.0005521205,0.009857545,0.02697037],"genre_scores_gemma":[0.5193961,0.0004362738,0.4336212,0.001025572,0.0002504851,0.001006178,0.001842387,0.005335235,0.03708659],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008860557,"threshold_uncertainty_score":0.02964151,"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."}}