{"id":"W4399317118","doi":"10.48550/arxiv.2405.20502","title":"Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees","year":2024,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Robotic Path Planning Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Canada Research Chairs","keywords":"Control (management); Computer science; Formal synthesis; Aeronautics; Engineering; Artificial intelligence","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.0002417854,0.0004974093,0.000291554,0.0001985347,0.0002734082,0.0004219764,0.0003353871,0.0003345314,0.001338877],"category_scores_gemma":[0.0005256425,0.0001657556,0.0003178537,0.0001357501,0.0004785663,0.000257777,0.0005495153,0.0004033502,0.0001589889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003791287,"about_ca_system_score_gemma":0.0007569008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003521234,"about_ca_topic_score_gemma":0.002735153,"domain_scores_codex":[0.9998666,0.00001695494,0.000006393236,0.00003523827,0.00005568035,0.00001905603],"domain_scores_gemma":[0.9998202,0.00006721973,0.00004536947,0.00001832098,0.00003785512,0.00001104371],"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.00003997431,0.00002033292,0.0003327968,0.00006576328,0.000007617213,0.0001193733,0.0000914727,0.9424362,0.02028289,0.01574748,0.0002878707,0.02056817],"study_design_scores_gemma":[0.0000103688,0.00006637022,0.000100046,0.00000621089,0.000003088814,0.00001858701,0.00001614875,0.9932821,0.003027828,0.002566142,0.000899422,0.000003775443],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03744126,0.00005090561,0.9590252,0.00005797547,0.00001338946,0.00003574719,0.00003043127,0.0002316362,0.003113528],"genre_scores_gemma":[0.8587038,0.00007979038,0.1388716,0.00003029868,0.000007106073,0.0001003578,0.00007635691,0.00004652441,0.002084225],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003521234,"threshold_uncertainty_score":0.00700146,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04359819816657217,"score_gpt":0.1833867908357771,"score_spread":0.1397885926692049,"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."}}