{"id":"W1592359484","doi":"10.1007/3-540-45251-6_5","title":"Model-Checking Over Multi-Valued Logics","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":69,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Correctness; Computer science; Model checking; Extension (predicate logic); Semantics (computer science); Theoretical computer science; Computation tree logic; Temporal logic; CTL*; Programming language","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.00182308,0.0006521179,0.0005770804,0.0008729713,0.0003232891,0.0006158565,0.004839069,0.0005458106,0.00002103245],"category_scores_gemma":[0.0002334869,0.0006110689,0.0001756201,0.0008316702,0.0007118441,0.001129823,0.001813667,0.00116163,0.00005473681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005640966,"about_ca_system_score_gemma":0.0004981783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001637934,"about_ca_topic_score_gemma":0.00002687906,"domain_scores_codex":[0.99517,0.0000643282,0.0007018183,0.001910667,0.001289102,0.0008641054],"domain_scores_gemma":[0.9966194,0.000169673,0.0004610004,0.002251893,0.0002934775,0.0002045431],"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.000005242888,0.0000420483,0.00004639629,0.000030702,0.000008828387,0.0000578661,0.0007355027,0.3093268,0.0002187022,0.252717,0.00001357284,0.4367974],"study_design_scores_gemma":[0.000218952,0.0000618938,0.00008432481,0.0001671429,0.000005901488,0.00005012963,5.781222e-8,0.8574085,0.0007657878,0.1400764,0.0005508122,0.0006100751],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005357773,0.0002739055,0.9900249,0.0001188421,0.001911048,0.0004310666,0.000003474943,0.0003170299,0.006866207],"genre_scores_gemma":[0.01229423,0.00008614958,0.9853027,0.001478233,0.0002831933,0.00001076492,0.000003608322,0.00004436,0.0004967492],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5480817,"threshold_uncertainty_score":0.9996341,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08175201863392131,"score_gpt":0.3215951428315679,"score_spread":0.2398431241976466,"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."}}