Adaptive stress testing of airborne collision avoidance systems
Probabilistic model checking of the next-generation airborne collision avoidance system