Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA
machine-learning validation data-model machine-learning-algorithms verification ontology artificial-intelligence artificial-neural-networks intelligent-systems intelligent-transportation-systems assurance-case overarching-properties
-
Updated
Jul 7, 2025 - Java