Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints. - Aditya Parameshwaran; Yue Wang (CoRR, 2024)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles. - Aditya Parameshwaran; Yue Wang 011 (ICCPS, 2025)

Temporal Logic Guided Safe Navigation for Autonomous Vehicles. - Aditya Parameshwaran; Yue Wang (CoRR, 2025)

Scalable and Explainable Verification of Image-based Neural Network Controllers for Autonomous Vehicles. - Aditya Parameshwaran; Yue Wang (CoRR, 2025)

Real-time Terrain Analysis for Off-road Autonomous Vehicles. - Edwina Lewis; Aditya Parameshwaran; Laura Redmond; Yue Wang (CoRR, 2025)