{"id":"W2964574649","doi":"10.1609/icaps.v29i1.3460","title":"Towards a Unified View of AI Planning and Reactive Synthesis","year":2019,"lang":"en","type":"article","venue":"Proceedings of the International Conference on Automated Planning and Scheduling","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Microsoft Research","keywords":"Plan (archaeology); Linear temporal logic; Computer science; Temporal logic; Automated planning and scheduling; Artificial intelligence; Theoretical computer science; Geography","routes":{"ca_aff":true,"ca_fund":true,"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.0006206988,0.0001220904,0.0002034809,0.0001464679,0.00006068984,0.0001294049,0.0006555608,0.000071194,0.000004953056],"category_scores_gemma":[0.0004367974,0.00009438441,0.00003141938,0.0001677386,0.00006340826,0.0004278766,0.0002232332,0.0002134202,0.00000135237],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002401267,"about_ca_system_score_gemma":0.00005438537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001636006,"about_ca_topic_score_gemma":4.354323e-8,"domain_scores_codex":[0.9989963,0.00001677592,0.0002753645,0.0002596633,0.0003323459,0.0001195651],"domain_scores_gemma":[0.9990356,0.0001180305,0.0003519511,0.0001044151,0.0003543682,0.00003565465],"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.0001493354,0.0000521699,0.031129,0.0002875279,0.0001394942,9.813223e-7,0.004619812,0.0008489189,0.1710421,0.7817405,0.0000304671,0.009959681],"study_design_scores_gemma":[0.0001791934,0.00007237246,0.01933867,0.001764833,0.00001165634,0.00002077406,0.0006445673,0.8309528,0.1429022,0.003951269,0.00003147505,0.0001301938],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9849765,0.00008124208,0.003655406,0.0007650179,0.0002266969,0.000136299,0.000004241529,0.0001337989,0.01002077],"genre_scores_gemma":[0.93325,0.00001093656,0.06660997,0.00007849689,0.00001089869,0.000007256181,5.584167e-7,0.000005792409,0.00002609368],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8301039,"threshold_uncertainty_score":0.3848884,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04851122598432915,"score_gpt":0.3237563792704445,"score_spread":0.2752451532861154,"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."}}