Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability
Paper
06/21/2021
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. http://www.taylortjohnson.com/research/lopez2021scitech.pdf