{"id":"W1769768582","doi":"10.1007/978-3-642-20398-5_8","title":"Towards Flight Control Verification Using Automated Theorem Proving","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Autopilot; Leverage (statistics); MATLAB; Computer science; Plot (graphics); Automated theorem proving; Controller (irrigation); Process (computing); Control engineering; Control theory (sociology); Control (management); Engineering; Algorithm; Mathematics; Artificial intelligence; Programming language","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.001802359,0.001096371,0.000708147,0.0009911025,0.000637051,0.002040349,0.001945595,0.0013567,0.01100207],"category_scores_gemma":[0.003741135,0.0009658939,0.001594483,0.0005621907,0.001852896,0.003270651,0.002213956,0.002765879,0.003586692],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000571325,"about_ca_system_score_gemma":0.0009669556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001024951,"about_ca_topic_score_gemma":0.0008964664,"domain_scores_codex":[0.9981874,0.0004364841,0.0001001891,0.0002028022,0.0009545415,0.0001186379],"domain_scores_gemma":[0.9979564,0.001166616,0.00007009563,0.0005403267,0.0002442785,0.00002228566],"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.0001375684,0.0001292363,0.0002916416,0.0007769482,0.0001035752,0.0002897936,0.0003059757,0.08061913,0.02742447,0.478734,0.009256573,0.4019309],"study_design_scores_gemma":[0.00007577283,0.0001198895,0.0002163138,0.0002663263,0.00008677983,0.0003652435,0.00005308955,0.4640549,0.03812233,0.4358424,0.06075385,0.00004308908],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0015835,0.0002385641,0.9901755,0.0001146437,0.00007658483,0.00004833458,0.00003390936,0.001082876,0.006645983],"genre_scores_gemma":[0.1074457,0.0007767769,0.8799679,0.0001830982,0.00008997434,0.0001350312,0.0002238672,0.0004564631,0.01072129],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01100207,"threshold_uncertainty_score":0.03680557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03389082742201949,"score_gpt":0.2816612213300191,"score_spread":0.2477703939079996,"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."}}