Coverage-Driven Verification for Aviation AI Safety

This research proposes a structured engineering process to define and evaluate target distributions within the Operational Design Domain (ODD) for AI-based collision avoidance. It aims to meet EASA safety standards by ensuring data representativeness for safety-critical aviation applications.