{"id":"W2030659368","doi":"10.1007/s10703-013-0197-1","title":"Model checking approach to automated planning","year":2013,"lang":"en","type":"article","venue":"Formal Methods in System Design","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Model checking; Process (computing); Domain (mathematical analysis); Field (mathematics); Automated planning and scheduling; State (computer science); State space; Software engineering; Artificial intelligence; Theoretical computer science; 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":[],"consensus_categories":[],"category_scores_codex":[0.005591797,0.0002485997,0.0003840538,0.00035522,0.0002110287,0.0003224627,0.001053837,0.0001601346,0.000001650159],"category_scores_gemma":[0.0001261445,0.0002229937,0.00005855576,0.0007771985,0.00001294107,0.001104569,0.0002618294,0.0002712128,0.0000721289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001556258,"about_ca_system_score_gemma":0.0000959057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000730102,"about_ca_topic_score_gemma":8.205904e-8,"domain_scores_codex":[0.9969479,0.000955012,0.0005659945,0.0004970971,0.0002844321,0.0007495879],"domain_scores_gemma":[0.9985559,0.0004555304,0.0001600553,0.0005550189,0.00008099711,0.0001925076],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008754332,0.00002236687,0.0002963869,0.0001656719,0.00001269012,0.000007368076,0.00580167,0.9665663,0.001940716,0.008365926,0.001084304,0.01572782],"study_design_scores_gemma":[0.0001991155,0.00005662287,0.0002509565,0.000349486,0.000003488089,0.00004348627,0.0002673764,0.9965284,0.001529045,0.0004415397,0.000038724,0.0002916931],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00103554,0.0001178469,0.9853399,0.00003182474,0.0002521645,0.0007269286,7.47687e-7,0.001422714,0.01107232],"genre_scores_gemma":[0.2976484,1.271152e-7,0.7019109,0.00009920503,0.0000274575,0.0002162521,0.000001129028,0.00001652847,0.00008006173],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2966128,"threshold_uncertainty_score":0.909342,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1266746391251695,"score_gpt":0.3628655870095945,"score_spread":0.236190947884425,"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."}}