{"id":"W2528006267","doi":"","title":"Mixed-Integer Linear Programming for Planning with Temporal Logic Tasks [Position Paper]","year":2015,"lang":"en","type":"article","venue":"National Conference on Artificial Intelligence","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Nutrasource","funders":"","keywords":"Integer programming; Computer science; Linear programming; Computation; Mathematical optimization; Linear temporal logic; Dynamical systems theory; Task (project management); Integer (computer science); Theoretical computer science; Algorithm; Mathematics; Engineering; Programming language; Systems engineering","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.001397296,0.000210577,0.0001839176,0.0001940709,0.0002069097,0.0002859387,0.0006843785,0.0001217686,0.00001535369],"category_scores_gemma":[0.0007587328,0.0001808614,0.00005485372,0.000472434,0.0001305622,0.0008271408,0.00006665687,0.0002464692,0.0001096482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001797741,"about_ca_system_score_gemma":0.0004660606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001860193,"about_ca_topic_score_gemma":0.00001894476,"domain_scores_codex":[0.9977341,0.0001265669,0.0004393363,0.0005367405,0.0008337405,0.00032946],"domain_scores_gemma":[0.9975106,0.0002003053,0.0002338438,0.0002880942,0.001610906,0.0001562994],"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.0001446907,0.0001070854,0.00003044838,0.00000897851,0.000009043311,0.000003272486,0.0004197551,0.007258728,0.0002988553,0.9200999,0.0001072005,0.07151212],"study_design_scores_gemma":[0.00008050828,0.0009037869,0.00007016093,0.00008587777,0.000006162587,0.00001767962,0.0004341051,0.7288894,0.02126453,0.2453415,0.00258585,0.0003204356],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001046612,0.00001786644,0.9931987,0.001595138,0.0004425976,0.0005222661,0.00001043564,0.0001977517,0.002968619],"genre_scores_gemma":[0.5517786,8.20715e-7,0.4475217,0.0003540442,0.0001299026,0.0001294711,0.00003177681,0.000009030526,0.0000446513],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7216307,"threshold_uncertainty_score":0.7375314,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3511121685748741,"score_gpt":0.4138192855756894,"score_spread":0.06270711700081527,"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."}}