Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges

Nathan Fulton, Nathan Hunt, Nghia Hoang +1

Autonomous systems -- such as self-driving cars, autonomous drones, and automated trains -- must come with strong safety guarantees. Over the past decade, techniques based on forma…