{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001763468,0.0002573215,0.0005387814,0.0003579667,0.0001899586,0.000520375,0.001029249,0.000173704,0.000344856],"category_scores_gemma":[0.0003580791,0.0002098561,0.0001632473,0.0006009761,0.0001089725,0.00130242,0.0002813269,0.0001652584,0.0003603454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007808224,"about_ca_system_score_gemma":0.0001679801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002433046,"about_ca_topic_score_gemma":0.00001571672,"domain_scores_codex":[0.9967197,0.0001425667,0.001273313,0.0005760394,0.000840865,0.0004475609],"domain_scores_gemma":[0.9967276,0.0004246404,0.0006086998,0.0009519202,0.001008864,0.0002782753],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000413028,0.0009180175,0.0367133,0.0002284559,0.0002070651,0.0000259043,0.01163092,0.004714551,0.04710075,0.6337167,0.002902921,0.2614284],"study_design_scores_gemma":[0.002367134,0.001428865,0.01935205,0.0010101,0.0001940895,0.0002710198,0.01024166,0.6649093,0.0620438,0.1456088,0.08889889,0.003674255],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.115807,0.00006452443,0.8513634,0.00001932766,0.0004196954,0.0006322052,0.0001143211,0.00009649504,0.03148296],"genre_scores_gemma":[0.9515153,0.000004925775,0.04710667,0.00003049036,0.00004835469,0.0000539655,0.000008249459,0.0000236557,0.001208371],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8357083,"threshold_uncertainty_score":0.8557681,"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."}}