{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00226239,0.001152299,0.0008757004,0.001079289,0.0006432079,0.001085677,0.001396862,0.0008673316,0.001966375],"category_scores_gemma":[0.008916966,0.0007763496,0.001066287,0.0008271088,0.001418643,0.002249811,0.001690571,0.001279158,0.0002689373],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001455865,"about_ca_system_score_gemma":0.001653527,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004519544,"about_ca_topic_score_gemma":0.004070035,"domain_scores_codex":[0.9982017,0.000498998,0.0001167203,0.0004087882,0.0005916949,0.0001820675],"domain_scores_gemma":[0.9947173,0.003882969,0.0006128564,0.0003392764,0.0003287013,0.0001189583],"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.0001378008,0.00003350157,0.0005110372,0.0001048763,0.00003688977,0.000105544,0.00008019443,0.9440299,0.003124474,0.01952839,0.0003892728,0.03191817],"study_design_scores_gemma":[0.0000148958,0.00004154607,0.00009513064,0.000009202524,0.00001186444,0.00002198054,0.00001022424,0.9808232,0.001754671,0.01686431,0.0003456526,0.000007449929],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01843568,0.00013274,0.9794565,0.0001008235,0.00001126478,0.00004438573,0.00007403088,0.0006696178,0.001075004],"genre_scores_gemma":[0.5439915,0.0001765693,0.4534301,0.0001154832,0.00003696195,0.0002290437,0.0002724917,0.0003207755,0.001427032],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004519544,"threshold_uncertainty_score":0.0119648,"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."}}