Project

General

Profile

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

Paper
06/21/2021

Diego Manzanas Lopez, Taylor T. JohnsonHoang-Dung TranStanley 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

Files