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

> Research article (AIAA Scitech 2021 Forum, 2021) · cited 17× · AI/ML

**Wikidata**: [openalex:W3120829775](https://www.wikidata.org/wiki/openalex:W3120829775)  
**Source**: https://4ort.xyz/entity/verification-of-neural-network-compression-of-acas-xu-lookup-tables-with-star-set-reachability