@misc{indiciae644940fe02c4,
  title = {Differential Adaptive Stress Testing of Airborne Collision Avoidance Systems},
  author = {Lee, Ritchie and Mengshoel, Ole J. and Saksena, Anshu and Gardner, Ryan and Genin, Daniel and Brush, Jeffery and Kochenderfer, Mykel J.},
  year = {2018},
  url = {https://ntrs.nasa.gov/citations/20190002185},
  note = {Source identifier: 20190002185}
}