Evaluation of Neural Network Verification Methods for Air to Air Collision Avoidance

Lopez, Diego Manzanas; Johnson, Taylor T.; Bak, Stanley; Tran, Hoang-Dung; Hobbs, Kerianne

by Diego Manzanas Lopez, Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs

Reference:

Diego Manzanas Lopez, Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, "Evaluation of Neural Network Verification Methods for Air to Air Collision Avoidance", In AIAA Journal of Air Transportation (JAT), vol. , no. , pp. , 2022, oct.

Bibtex Entry:

@ARTICLE{lopez2022jat,
  author={Diego Manzanas Lopez and Taylor T. Johnson and Stanley Bak and Hoang-Dung Tran and Kerianne Hobbs},
  journal={AIAA Journal of Air Transportation (JAT)}, 
  title={Evaluation of Neural Network Verification Methods for Air to Air Collision Avoidance}, 
  year={2022},
  month=oct,
  volume={},
  number={},
  pages={},
  pdf = "research/lopez2022jat.pdf",
  doi = {},
}