Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability (bibtex)

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

Reference:

Diego Manzanas Lopez, Taylor T. Johnson, Hoang-Dung Tran, Stanley Bak, Xin Chen and and Kerianne L. Hobbs, "Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability", In AIAA Scitech 2021 Forum, AIAA, 2021.

Bibtex Entry:

@inproceedings{lopez2021scitech,
  title = {Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability},
  author = {Diego Manzanas Lopez and Taylor T. Johnson and Hoang-Dung Tran and Stanley Bak and Xin Chen and and Kerianne L. Hobbs},
  year = {2021},
  month = jan,
  booktitle = {AIAA Scitech 2021 Forum},
  publisher = {AIAA},
  doi = {10.2514/6.2021-0995},
  publabel = {LC8},
  pubtype = {LC},
  s2id = {234246989},
  pdf = "research/lopez2021scitech.pdf",
}