4 papers
MA-VLCM: A Vision Language Critic Model for Value Estimation of Policies in Multi-Agent Team Settings
Shahil Shaik, Aditya Parameshwaran, Anshul Nayak +2
Multi-agent reinforcement learning (MARL) commonly relies on a centralized critic to estimate the value function. However, learning such a critic from scratch is highly sample-inef…
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…
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…
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…