activity
20242026
most citedScalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2024★ 1 cited

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…