{"id":"W2009126184","doi":"10.2514/6.2004-5254","title":"Validation and Verification of Intelligent and Adaptive Control Systems","year":2004,"lang":"en","type":"article","venue":"AIAA Guidance, Navigation, and Control Conference and Exhibit","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Lockheed Martin (Canada)","funders":"","keywords":"Computer science; Adaptive control; Control (management); Artificial intelligence","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.0007173707,0.0001714018,0.0003007216,0.00009715853,0.0001777026,0.0002133012,0.0001499172,0.0001060198,7.701349e-7],"category_scores_gemma":[0.00007709666,0.0001608925,0.0000200017,0.0001789217,0.0002594895,0.0007417693,0.00003776422,0.0001005608,0.000001447627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002813548,"about_ca_system_score_gemma":0.00007873997,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001732192,"about_ca_topic_score_gemma":0.000003538776,"domain_scores_codex":[0.9986268,0.0001369743,0.0004600052,0.0004193881,0.0001867563,0.0001700835],"domain_scores_gemma":[0.9988261,0.0001045928,0.0002886934,0.0002698856,0.000418385,0.00009237356],"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.0001005913,0.00003725197,0.004587583,0.0001329279,0.00005445058,8.25711e-7,0.001772701,0.0002371772,0.01605834,0.930595,0.000009787548,0.04641334],"study_design_scores_gemma":[0.01446074,0.001795296,0.1892436,0.001893393,0.0003451761,0.0001548752,0.002947567,0.57466,0.05946737,0.1513244,0.002258796,0.001448763],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2599756,0.00256012,0.7363463,0.0003198688,0.0001181844,0.0004314243,0.000009753924,0.0000350262,0.000203803],"genre_scores_gemma":[0.9897987,0.0006347471,0.009333856,0.00009690702,0.00003168889,0.00006689397,0.000007057378,0.000006547893,0.00002359075],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7792706,"threshold_uncertainty_score":0.6561004,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02154971692890637,"score_gpt":0.2548679831330076,"score_spread":0.2333182662041012,"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."}}