Submitted by Scott DeLoach on Fri, 05/10/2024 - 14:27 SHF: Small: Scalable Formal Verification of ANN controlled Cyber-Physical Systems 2008957 Contributors: Scott DeLoach Pavithra Prabhakar Sponsors: National Science Foundation Core Areas: