@misc{indiciae976f93864a8d,
  title = {Coverage-Driven Verification for Safety-by-Design in AI-Based Collision Avoidance Systems},
  author = {Thomas Stefani and Johann Maximilian Christensen and Elena Hoemann and Frank Köster and Sven Hallerbach},
  year = {2026},
  doi = {10.71945/icas2026\_0536},
  url = {https://arxiv.org/abs/2608.20864},
  note = {Source identifier: 2608.20864}
}