Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles

Aditya Parameshwaran, Yue Wang

Existing formal verification methods for image-based neural network controllers in autonomous vehicles often struggle with high-dimensional inputs, computational inefficiency, and…