We compute the set of all possible behaviors of an autonomous vehicle using reachability
analysis. A reachable set is the set of states a system can reach for a given set of initial …

An approach for formally verifying the safety of automated vehicles is proposed. Due to the
uniqueness of each traffic situation, we verify safety online, ie, during the operation of the …

The verification of evasive maneuvers for autonomous vehicles driving with constant velocity
is considered. Modeling uncertainties, uncertain measurements, and disturbances can …

We propose a benchmark for the verification of autonomous vehicles. By considering
different traffic scenarios from the CommonRoad database, we obtain several thousands of …

We propose a procedure to formally verify the safety of autonomous vehicles online, ie,
during operation, that considers the uniqueness of each traffic situation. A challenging …

A common requirement for autonomous cars is a safe locomotion which is evaluated by the
method of hybrid verification applied online. The approach checks avoidance of static …

Ensuring that autonomous vehicles do not cause accidents remains a challenge. We
present a formal verification technique for guaranteeing legal safety in arbitrary urban traffic …

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 …

Safety guarantees and regulatory approval for autonomous vehicles remain an ongoing
challenge. In particular, software that is frequently adapted or contains complex, non …

Abstract The use of Autonomous Vehicles (AVs) on our streets is soon to be a reality;
increasingly, interacting with such AVs will be part of our daily routine. However, we will …