@misc{indiciae2fca6ce159ef,
  title = {Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems},
  author = {Kyle D. Julian and Mykel J. Kochenderfer},
  year = {2020},
  doi = {10.1109/dasc43569.2019.9081748},
  url = {https://arxiv.org/abs/1912.07084},
  note = {Source identifier: 1912.07084}
}