Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems. - Robert J. Moss; Ritchie Lee; Nicholas Visser; Joachim Hochwarth; James G. Lopez; Mykel J. Kochenderfer (CoRR, 2020)