{"id":"W2032587419","doi":"10.1109/icra.2014.6906924","title":"SMT-based synthesis of integrated task and motion plans from plan outlines","year":2014,"lang":"en","type":"article","venue":"","topic":"Robotic Path Planning Algorithms","field":"Computer Science","cited_by":62,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Canadian Institute for Advanced Research; National Science Foundation","keywords":"Satisfiability modulo theories; Computer science; Solver; Plan (archaeology); Satisfiability; Motion planning; Graph; Abstraction; Set (abstract data type); Theoretical computer science; Generalization; Task (project management); Boolean satisfiability problem; Robot; Algorithm; Programming language; Artificial intelligence; Mathematics; Systems engineering; Engineering","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007015768,0.0009276801,0.0005005169,0.0006684382,0.0004517361,0.0007227527,0.001079275,0.0006710924,0.005504166],"category_scores_gemma":[0.002502554,0.0004958977,0.001419712,0.0006954475,0.00111658,0.0011304,0.001233545,0.001055056,0.0009097739],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008576649,"about_ca_system_score_gemma":0.00171015,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003821756,"about_ca_topic_score_gemma":0.008004452,"domain_scores_codex":[0.9994131,0.0001295142,0.00004273285,0.0001074302,0.0002475515,0.0000595531],"domain_scores_gemma":[0.9991037,0.0005518697,0.00007074698,0.0001110814,0.0001310519,0.00003152456],"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.00017707,0.00009800656,0.000653287,0.0005436692,0.00005607438,0.0003551892,0.0004414295,0.7077646,0.01787406,0.08110456,0.004131268,0.1868008],"study_design_scores_gemma":[0.00005574931,0.0000727124,0.0001247095,0.00003661635,0.00002781306,0.00006607627,0.00009299898,0.9448704,0.01050494,0.03562454,0.008509491,0.00001390806],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008987732,0.00007315377,0.9852877,0.00007573303,0.00001985922,0.0001224078,0.0002557787,0.001714588,0.003463041],"genre_scores_gemma":[0.1232961,0.0001249625,0.8723941,0.00005140262,0.00001167467,0.0003434432,0.001183766,0.0004860225,0.002108591],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005504166,"threshold_uncertainty_score":0.01841325,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01590318316072727,"score_gpt":0.2157386580454878,"score_spread":0.1998354748847605,"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."}}