Aditya Parameshwaran

According to our database, Aditya Parameshwaran authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Real-time Terrain Analysis for Off-road Autonomous Vehicles.

Edwina Lewis, Aditya Parameshwaran, Laura Redmond, Yue Wang

CoRR, June, 2025

Scalable and Explainable Verification of Image-based Neural Network Controllers for Autonomous Vehicles.

Aditya Parameshwaran, Yue Wang

CoRR, January, 2025

Temporal Logic Guided Safe Navigation for Autonomous Vehicles.

Aditya Parameshwaran, Yue Wang

CoRR, January, 2025

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles.

Aditya Parameshwaran, Yue Wang

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

2024

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints.

Aditya Parameshwaran, Yue Wang

CoRR, 2024