{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001284669,0.0003997939,0.0004577955,0.0006780904,0.0001783187,0.000382594,0.0009358023,0.0001693795,0.000008418461],"category_scores_gemma":[0.0001367367,0.0003352368,0.00004949401,0.0004264434,0.0008019177,0.000370857,0.0007683999,0.0004034411,0.00001435194],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002326616,"about_ca_system_score_gemma":0.0001657721,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003527603,"about_ca_topic_score_gemma":0.0004892856,"domain_scores_codex":[0.9973995,0.00008063237,0.0005025851,0.001156429,0.0003893591,0.0004715146],"domain_scores_gemma":[0.997928,0.0007345853,0.0002926032,0.0007013979,0.0002411482,0.0001022909],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006784168,0.00001855681,0.0005977491,0.0001663129,0.00001652125,0.000480212,0.01374618,0.003615819,0.00004294984,0.2220615,0.00002050836,0.7592269],"study_design_scores_gemma":[0.000665716,0.0004077582,0.0005946069,0.0003532627,0.00001630141,0.0007922219,0.00001350318,0.2672204,0.0004509417,0.7275726,0.001076908,0.0008358145],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004446964,0.001590095,0.9918196,0.0003216452,0.0007040453,0.0003975843,0.000002799898,0.00008634599,0.0006309289],"genre_scores_gemma":[0.9358385,0.0006432348,0.06261108,0.000611875,0.0001753045,0.00002065475,0.000007229432,0.00001812721,0.00007400847],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9313915,"threshold_uncertainty_score":0.9999099,"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."}}