Autonomous Driving with Priority-Ordered STL Specifications Under Multimodal Uncertainty

Taha Bouzid, Shuhao Qi, Mircea Lazar +1

Autonomous vehicles must plan trajectories that satisfy multiple requirements, such as safety, traffic-rule compliance, and passenger comfort. However, in safety-critical scenarios…