{"id":"W2029586423","doi":"10.1145/2000378.2000399","title":"Symbolic model checking of probabilistic knowledge","year":2011,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Australian Research Council; Defence Research and Development Canada","keywords":"Computer science; Probabilistic logic; Model checking; Programming language; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00283805,0.0007576575,0.001107564,0.001159332,0.0009773257,0.002854244,0.002704564,0.001108372,0.004350095],"category_scores_gemma":[0.01862875,0.0006867949,0.001876436,0.0009535585,0.003417146,0.006350351,0.003115569,0.002399428,0.000483891],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002235505,"about_ca_system_score_gemma":0.002749569,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004091374,"about_ca_topic_score_gemma":0.004067137,"domain_scores_codex":[0.9948579,0.00158509,0.0002454752,0.0008307026,0.002040186,0.0004406047],"domain_scores_gemma":[0.9879014,0.008415066,0.0007332303,0.002192601,0.0006035612,0.0001540666],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004274624,0.0001053718,0.001538125,0.0003565437,0.0001745628,0.000394955,0.0005819856,0.4667732,0.009713507,0.4412535,0.001432291,0.07724861],"study_design_scores_gemma":[0.00005830212,0.00003865696,0.0001161878,0.00003480795,0.00004542428,0.000072173,0.00003923581,0.7981415,0.009006771,0.1906232,0.001804556,0.00001916124],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02646629,0.00008417698,0.9688898,0.0002355319,0.00002478968,0.00004983788,0.0001095622,0.001949011,0.002190935],"genre_scores_gemma":[0.7092062,0.0001777263,0.2875029,0.000138693,0.00004715085,0.0001549484,0.0003911052,0.0003165501,0.002064732],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004350095,"threshold_uncertainty_score":0.01621979,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1446619501012251,"score_gpt":0.3110605909897139,"score_spread":0.1663986408884888,"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."}}