TY  - RPRT
TI  - Coverage-Driven Verification for Safety-by-Design in AI-Based Collision Avoidance Systems
AU  - Thomas Stefani
AU  - Johann Maximilian Christensen
AU  - Elena Hoemann
AU  - Frank Köster
AU  - Sven Hallerbach
PY  - 2026
DO  - 10.71945/icas2026_0536
UR  - https://arxiv.org/abs/2608.20864
ID  - 2608.20864
ER  -