Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance (bibtex)

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

Reference:

Diego Manzanas Lopez, Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran and Kerianne L. Hobbs, "Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance", AIAA Journal of Air Transportation (JAT), AIAA, vol. 31, pp. 1–17, 2023.

Bibtex Entry:

@article{lopez2023jat,
  title = {Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance},
  author = {Diego Manzanas Lopez and Taylor T. Johnson and Stanley Bak and Hoang-Dung Tran and Kerianne L. Hobbs},
  year = {2023},
  month = oct,
  journal = {AIAA Journal of Air Transportation (JAT)},
  volume = {31},
  pages = {1--17},
  publisher = {AIAA},
  doi = {10.2514/1.D0255},
  publabel = {J30},
  pubtype = {J},
  pdf = "research/lopez2023jat.pdf",
}