Towards Certifiable AI in Aviation: A Framework for Neural Network Assurance Using Advanced Visualization and Safety Nets - Christensen, Johann Maximilian; Zaeske, Wanja; Beck, Janick; Friedrich, Sven; Stefani, Thomas; Girija, Akshay Anilkumar; Hoemann, Elena; Durak, Umut; Koster, Frank; Kruger, Thomas; Hallerbach, Sven (IEEE/AIAA Digital Avionics Systems Conference, 2024)
Keywords: ACAS X; AI Engineering; Artificial intelligence; Certification; Collision avoidance; Neural networks; Reliability engineering; Runtime; Safety; Solids; Table lookup; Vectors