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.CV2026
Image Quality Dependent Degradation for AI Systems
Yannick Kees, Elena Hoemann, Frank Köster +1
Perception is one of the primary applications where neural networks outperform conventional algorithms. One example is AI systems for automated driving, which can detect pedestrian…