Adaptive stress testing of airborne collision avoidance systems
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System