3 papers
cs.RO2025
Real-time Terrain Analysis for Off-road Autonomous Vehicles
Edwina Lewis, Aditya Parameshwaran, Laura Redmond +1
This research addresses critical autonomous vehicle control challenges arising from road roughness variation, which induces course deviations and potential loss of road contact dur…
cs.LG2025
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…
cs.RO2025
Temporal Logic Guided Safe Navigation for Autonomous Vehicles
Aditya Parameshwaran, Yue Wang
Safety verification for autonomous vehicles (AVs) and ground robots is crucial for ensuring reliable operation given their uncertain environments. Formal language tools provide a r…