We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …

Adapting driving behavior to new environments customs and laws is a long-standing
problem in autonomous driving precluding the widespread deployment of autonomous …

Intersections are difficult to navigate for both human drivers and autonomous vehicles
because several diverse traffic rules must be considered. In addition, current traffic rules are …

Temporal Logic (TL) can be used to rigorously specify complex high-level specification for
systems in many engineering applications. The translation between natural language (NL) …

It is crucial for automated vehicles to explicitly comply with specifications, including traffic
rules, to ensure their safe and effective participation in road traffic. Such compliance is also …

Autonomous driving systems (ADSs) must be tested thoroughly before they can be deployed
in autonomous vehicles. High-fidelity simulators allow them to be tested against diverse …

Facts proved that obeying traffic laws keeps the promise to promote the safety of self-driving
vehicles. Current self-driving vehicles usually have fixed algorithms during autonomous …

Autonomous vehicles (AVs) are being developed, tested, and commercialized around the
world. While skilled human drivers can rely on their experience and common sense to …

Defined traffic laws must be respected by all vehicles when driving on the road, including
self-driving vehicles without human drivers. Nevertheless, the ambiguity of human-oriented …

Safety is the primary concern in the motion planning and decision-making of the virtual
driver that provides prescriptions to the real human driver and even performs self-driving in …