{"id":"W2583674010","doi":"","title":"Weak Bisimulation Is Sound and Complete for PCTL","year":2002,"lang":"en","type":"article","venue":"","topic":"Hermeneutics and Narrative Identity","field":"Arts and Humanities","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; Université Laval","funders":"","keywords":"Bisimulation; Probabilistic logic; Mathematics; Countable set; Discrete mathematics; Computer science; Markov chain","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.00004139415,0.00004916018,0.00006372303,0.0000271093,0.0002673667,0.000159058,0.00002456888,0.00001306461,0.009139449],"category_scores_gemma":[0.000005997538,0.00004001937,0.0000248523,0.000007801418,0.00005967173,0.0001090862,0.00001047659,0.00001978892,0.00008231903],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005751318,"about_ca_system_score_gemma":9.946574e-7,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009015966,"about_ca_topic_score_gemma":0.001873674,"domain_scores_codex":[0.9996911,0.00000624263,0.00008307649,0.0000875623,0.00004925852,0.00008273924],"domain_scores_gemma":[0.9998099,0.00003713183,0.00002061288,0.00005203109,0.00005597029,0.00002430477],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000005203984,0.00004654703,0.001121333,0.00002557409,0.00002947183,2.044458e-7,0.007359421,0.000003516045,0.0001156257,0.9249291,0.06314343,0.003220558],"study_design_scores_gemma":[0.0003041622,0.00005975321,0.0007485041,0.000002479477,0.000009708056,2.401728e-7,0.000381774,0.02390948,0.0000269654,0.03236946,0.9420964,0.00009106706],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5539972,0.0001492624,0.0005579686,0.002438425,0.0003492679,0.0003803441,0.0001081539,0.00006333652,0.4419561],"genre_scores_gemma":[0.9458098,0.000009436619,0.00003792587,0.0004685797,0.0001745526,0.000003354866,0.000003382778,0.000005126394,0.05348783],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8925596,"threshold_uncertainty_score":0.9917663,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1312853647985996,"score_gpt":0.270133954028433,"score_spread":0.1388485892298334,"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."}}