3 papers
cs.AI2026
Coverage-Driven Verification for Safety-by-Design in AI-Based Collision Avoidance Systems
Thomas Stefani, Johann Maximilian Christensen, Elena Hoemann +2
Artificial Intelligence (AI) offers significant potential for future aviation systems; however, its integration into safety-critical applications requires compliance with the aviat…
cs.AI2026
On the Applicability of Safety Nets: A Safety-By-Design Solution for Certifying Neural Networks
Johann Maximilian Christensen, Thomas Stefani, Elena Hoemann +2
The integration of Artificial Intelligence (AI) in safety-critical aviation systems presents significant challenges for certification and deployment. Aviation, often regarded as th…
cs.AI2026
From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems
Thomas Stefani, Johann Maximilian Christensen, Elena Hoemann +2
While Artificial Intelligence (AI) offers transformative potential for operational performance, its deployment in safety-critical domains such as aviation requires strict adherence…