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 …

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 …

Safe motion planning for autonomous vehicles is a challenging task, since the exact future
motion of other traffic participant is usually unknown. In this article, we present a verification …

To allow autonomous vehicles to safely participate in traffic and to avoid liability claims for
car manufacturers, autonomous vehicles must obey traffic rules. However, current traffic …

Recent accidents involving autonomous vehicles prompt us to consider how we can
engineer an autonomous vehicle which always obeys traffic rules. This is particularly …

This paper addresses the problem of following a vehicle with varying acceleration in a
comfortable and safe manner. Our architecture consists of a nominal controller (here: model …

Autonomous vehicles need to be designed to abide by the same rules that humans follow.
This is challenging, because traffic rules are fuzzy and not well defined, making them …

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 …

Validating the safety of self-driving vehicles requires an enormous amount of testing. By
applying formal verification methods, we can prove the correctness of the vehicles' behavior …

Falsification aims to disprove the safety of systems by providing counter-examples that lead
to a violation of safety properties. In this work, we present two novel falsification methods to …