{"id":"W3115515976","doi":"10.1109/tcst.2020.3042815","title":"Provably Safe and Scalable Multivehicle Trajectory Planning","year":2020,"lang":"en","type":"article","venue":"IEEE Transactions on Control Systems Technology","topic":"Robotic Path Planning Algorithms","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Reachability; Scalability; Computer science; Trajectory; Computation; Leverage (statistics); Toolbox; Mathematical optimization; Trajectory optimization; Motion planning; Theoretical computer science; Distributed computing; Algorithm; Artificial intelligence; Mathematics; Robot; Optimal control","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.0002060732,0.0002313489,0.0004159338,0.0003055809,0.0002573158,0.0000971402,0.0005704951,0.0002728873,0.000002329196],"category_scores_gemma":[0.00002321479,0.0002255926,0.0000543747,0.0005128979,0.0001207207,0.0002653499,0.000004750661,0.0005108999,0.00007318018],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005854693,"about_ca_system_score_gemma":0.00006626808,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003717549,"about_ca_topic_score_gemma":0.000001425088,"domain_scores_codex":[0.998265,0.0001020322,0.0003492932,0.0006385018,0.0002220763,0.0004230544],"domain_scores_gemma":[0.9990475,0.0001782602,0.0001180317,0.0004198276,0.00007678293,0.0001595771],"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.0002278436,0.000430589,0.001298997,0.0002996908,0.0006035438,0.0005866892,0.003460799,0.7600802,0.1011838,0.003571363,0.0008052591,0.1274512],"study_design_scores_gemma":[0.001985501,0.0005569494,0.0001401932,0.00009147081,0.00002536672,0.0001394596,0.0001886737,0.990419,0.005148781,0.00004597586,0.00096993,0.0002887024],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006605146,0.0005012676,0.9868162,0.003376826,0.0006103796,0.0005967921,0.00001426902,0.001253956,0.0002252065],"genre_scores_gemma":[0.9784822,0.000005016898,0.02087387,0.0003026736,0.00004628908,0.0001543484,2.489188e-7,0.00001995455,0.0001154091],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.971877,"threshold_uncertainty_score":0.9199398,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0184781317648522,"score_gpt":0.2310467134436858,"score_spread":0.2125685816788336,"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."}}