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

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

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

Reference:

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

Bibtex Entry:

@InProceedings{lopez2021scitech,
  author = "Diego Manzanas Lopez and Taylor T. Johnson and Hoang-Dung Tran and Stanley Bak and Xin Chen and Kerianne Hobbs",
  title = "Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability",
  booktitle = "AIAA Scitech 2021 Forum",
  year = "2021",
  month = "January",
  publisher = "AIAA",
  pdf = "research/lopez2021scitech.pdf",
}