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

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2025★ 2 cited

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…