Formal Analysis of Neural Network-Based Systems in the Aircraft Domain
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
Topics & Concepts
Computer scienceCounterexampleArtificial neural networkDomain (mathematical analysis)Formal methodsFormal verificationSystem safetyArtificial intelligenceSoftware engineeringTheoretical computer scienceReliability engineeringEngineeringMathematicsMathematical analysisDiscrete mathematicsAdversarial Robustness in Machine LearningFormal Methods in VerificationSoftware Testing and Debugging Techniques