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

Open in new window