most citedSafety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints

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

collaborators
Showing cs.ROShow all

2 papers · 1 filter

cs.RO2025

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…

cs.RO2025

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…