@misc{julian2019verifying,
  title={Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions},
  author={Kyle D. Julian and Shivam Sharma and Jean-Baptiste Jeannin and Mykel J. Kochenderfer},
  year={2019},
  eprint={1903.00762},
  archivePrefix={arXiv},
  primaryClass={cs.SY},
  url={https://arxiv.org/abs/1903.00762}
}