Submitted by Paulo Tabuada on Wed, 05/08/2024 - 12:50 CPS: Small: Formally Correct Deep Perception For Cyber-Physical Systems 2211146 Contributors: Paulo Tabuada Bahman Gharesifard Sponsors: National Science Foundation Core Areas: