{"id":"W2018291626","doi":"10.1109/dasc.2011.6096086","title":"Using formal methods to verify safe deep stall landing of a MAV","year":2011,"lang":"en","type":"article","venue":"2011 IEEE/AIAA 30th Digital Avionics Systems Conference","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"University of British Columbia","keywords":"Flight envelope; Stall (fluid mechanics); Reachability; Angle of attack; Aerodynamics; Thrust; Computer science; Aerospace engineering; Control theory (sociology); Pitching moment; Aircraft flight mechanics; Simulation; Engineering; Artificial intelligence; Algorithm","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.004148532,0.001190203,0.0005131586,0.001186432,0.0008363493,0.002011044,0.001560238,0.0009165088,0.002459511],"category_scores_gemma":[0.01119051,0.0007362128,0.001832868,0.0003564636,0.003094023,0.001892253,0.001545447,0.001639144,0.0004256194],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001592001,"about_ca_system_score_gemma":0.002909589,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007213202,"about_ca_topic_score_gemma":0.006198028,"domain_scores_codex":[0.996096,0.001443846,0.0002684395,0.000387903,0.001474019,0.0003298372],"domain_scores_gemma":[0.9902159,0.007199993,0.0008369049,0.0007286142,0.0009099473,0.0001086274],"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.0001920134,0.0002417613,0.002933966,0.0009662869,0.0001636849,0.0009212397,0.0009700101,0.6820515,0.02803557,0.2000079,0.001159412,0.08235663],"study_design_scores_gemma":[0.0001081248,0.0002308439,0.0003483047,0.0001922416,0.00008136674,0.0001897525,0.0001190785,0.8865461,0.02505435,0.07838796,0.008693255,0.00004872272],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0103729,0.00008968161,0.9868066,0.00007873188,0.00002553789,0.0001106331,0.00006072538,0.0009299768,0.001525197],"genre_scores_gemma":[0.4077235,0.0003507989,0.5881172,0.0001451717,0.00005405844,0.0005638859,0.0003275765,0.0003166391,0.00240116],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007213202,"threshold_uncertainty_score":0.02193975,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.4492427242545169,"score_gpt":0.4658820483728557,"score_spread":0.01663932411833874,"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."}}