When will automated vehicles come onto the market? This question has puzzled the
automotive industry and society for years. The technology and its implementation have …

Self-driving vehicles will soon be a reality, as main automotive companies have announced
that they will sell their driving automation modes in the 2020s. This technology raises …

Perception system design is a vital step in the development of an autonomous vehicle (AV).
With the vast selection of available off-the-shelf schemes and seemingly endless options of …

Autonomous vehicle (AV) technology can provide a safe and convenient transportation
solution for the public, but the complex and various environments in the real world make it …

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 …

Perception is a vital part of driving. Every year, the loss in visibility due to snow, fog, and rain
causes serious accidents worldwide. Therefore, it is important to be aware of the impact of …

Trajectory planning and trajectory tracking constitute two important functions of an
autonomous overtaking system and a variety of strategies have been proposed in the …

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 …

Accurately estimating driving styles is crucial to designing useful driver assistance systems
and vehicle control systems for autonomous driving that match how people drive. This paper …

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 …