Formally verified methods for motion planning are required in order to guarantee safety for
autonomous vehicles. In particular, we consider trajectory generation by considering the …

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 …

Provably safe motion planning for automated road vehicles must ensure that planned
motions do not result in a collision with other traffic participants. This is a major challenge in …

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 …

A crucial challenge to efficient and robust motion planning for autonomous vehicles is
understanding the intentions of the surrounding agents. Ignoring the intentions of the other …

Motion planning algorithms for urban automated driving must handle uncertainty due to
unknown intention and future motion of Dynamic Obstacles (DOs). Considering a single …

Verifying the safety of autonomous vehicles is one of the major challenges towards their
deployment on public roads due to the vast number of possible situations that can occur in …

Safe motion planning requires that a vehicle reaches a set of safe states at the end of the
planning horizon. However, safe states of vehicles have not yet been systematically defined …

Safe and adaptable motion planning for autonomous vehicles remains an open problem in
urban environments, where the variability of situations and behaviors may become …

The vision of autonomous driving is piecewise becoming reality. Still the problem of
executing the driving task in a safe and comfortable way in all possible environments, for …