Title :
Adaptive stress testing of airborne collision avoidance systems
Author :
Ritchie Lee;Mykel Kochenderfer;Ole Mengshoel;Guillaume Brat;Michael Owen
Author_Institution :
CMU, Pittsburgh, PA 15213, United States
Abstract :
■ Powerful black box method to find high probability trajectory to a critical event ■ Demonstrated effectiveness in stress testing ACAS X ■ Black box approach with very little requirements ■ Open source software release
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th
Electronic_ISBN :
2155-7209
DOI :
10.1109/DASC.2015.7311613
