Predicting the movement of other traffic participants is an integral part in the motion planning
of most automated road vehicles. While simple predictions, eg based on assuming constant …

Set-based predictions can ensure the safety of planned motions, since they provide a
bounded region which includes all possible future states of nondeterministic models of other …

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 …

A crucial capability of autonomous road vehicles is the ability to cope with the unknown
future behavior of surrounding traffic participants. This requires using non-deterministic …

Safety is of paramount importance in automated driving. One of the main challenges
ensuring safety is the unknown future behavior of surrounding traffic participants. Previous …

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 …

In many traffic situations there are times where interaction with other drivers is necessary
and unavoidable in order to safely progress towards an intended destination. This is …

When driving in urban environments, an autonomous vehicle must account for the
interaction with other traffic participants. It must reason about their future behavior, how its …

Knowledge about the future development of a certain road traffic situation is indispensable
for safe path planning of autonomous ground vehicles or action selection of intelligent driver …

In order to develop safe autonomous systems, accurate and precise models of human
behavior must be developed. For intelligent vehicles, one can imagine the need for …