{"id":"W1315694","doi":"10.1007/978-3-319-14484-9_14","title":"Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Computer science; State (computer science); Exploit; Theoretical computer science; Prolog; Algorithm","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.008632691,0.0007162645,0.001002621,0.0008490377,0.00219284,0.006101259,0.004498128,0.002852076,0.007252594],"category_scores_gemma":[0.03232304,0.000938851,0.00207678,0.001111965,0.007379969,0.01103089,0.005901748,0.005079083,0.0007032633],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004119261,"about_ca_system_score_gemma":0.003986488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006254013,"about_ca_topic_score_gemma":0.006072366,"domain_scores_codex":[0.992762,0.003565112,0.0005172237,0.0006770993,0.001656645,0.0008219848],"domain_scores_gemma":[0.9638936,0.03107384,0.0005791352,0.00254786,0.0014131,0.0004924748],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002403802,0.0002502602,0.000427765,0.0001828554,0.00003180867,0.0001965979,0.0008800133,0.02752345,0.001539652,0.931004,0.001009709,0.03671357],"study_design_scores_gemma":[0.0001354868,0.00007316964,0.0001288329,0.00008897125,0.000056547,0.0001216972,0.0003533601,0.2272013,0.005916313,0.7624776,0.003409871,0.00003686404],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07135171,0.0005981921,0.8878683,0.001536656,0.00009078543,0.0003126209,0.000116271,0.00112054,0.03700486],"genre_scores_gemma":[0.7956852,0.00035564,0.1956543,0.000231644,0.00003720427,0.0002517978,0.0001533321,0.0002189709,0.007412018],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008632691,"threshold_uncertainty_score":0.04565459,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02270445812105762,"score_gpt":0.2949436477337804,"score_spread":0.2722391896127228,"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."}}