{"id":"W2077245982","doi":"10.1177/0278364913487931","title":"Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints","year":2013,"lang":"en","type":"article","venue":"The International Journal of Robotics Research","topic":"Robotic Path Planning Algorithms","field":"Computer Science","cited_by":194,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Robot; Correctness; Linear temporal logic; Robustness (evolution); Motion planning; Computer science; Software deployment; Set (abstract data type); Function (biology); Trajectory; Mathematical optimization; Temporal logic; Path (computing); Mathematics; Algorithm; Artificial intelligence; Theoretical computer science","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.003220744,0.0001279476,0.0002136189,0.0003844936,0.0001106115,0.0005022425,0.002080299,0.00005924864,0.00001247743],"category_scores_gemma":[0.0003629168,0.00007857131,0.00003498737,0.0003321604,0.0004416513,0.0005899926,0.0004812872,0.0009103118,0.000009309619],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001427336,"about_ca_system_score_gemma":0.0002964124,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001232669,"about_ca_topic_score_gemma":0.000003594471,"domain_scores_codex":[0.9971762,0.0003426554,0.0004455585,0.0002150507,0.001448213,0.0003723264],"domain_scores_gemma":[0.9973763,0.0007085739,0.0002346563,0.0002513545,0.001287121,0.0001420465],"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.0000388713,0.0001466148,0.03250615,0.000008299615,0.00007643117,0.0008801488,0.0009296862,0.9577218,0.0002391807,0.00253611,0.0002778707,0.004638866],"study_design_scores_gemma":[0.001124783,0.0002273003,0.06720333,0.0003005857,0.000003364239,0.001440241,0.0005585964,0.9273592,0.00007477441,0.001564895,0.0000103657,0.0001326223],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0622279,0.0001736563,0.9292221,0.007715986,0.0002788802,0.0001928733,0.000001264135,0.00001320234,0.0001741574],"genre_scores_gemma":[0.5899574,0.00001575892,0.4098448,0.00005980715,0.00005989909,0.000003638065,6.596859e-7,0.000006293617,0.00005178066],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5277295,"threshold_uncertainty_score":0.4843137,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1665569467795997,"score_gpt":0.4004146980893077,"score_spread":0.2338577513097081,"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."}}