1 citations · 1 across the 3 of their papers we have counts for
4 papers
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…
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…
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…
Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
Aditya Parameshwaran, Yue Wang
The software architecture behind modern autonomous vehicles (AV) is becoming more complex steadily. Safety verification is now an imminent task prior to the large-scale deployment…