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 …

In this review, we provide an overview of emerging trends and challenges in the field of
intelligent and autonomous, or self-driving, vehicles. Recent advances in the field of …

Although there are fruitful results on adaptive control of constrained parametric/
nonparametric strict-feedback nonlinear systems, most of them are contingent upon …

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 …

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 …

The computational effort of trajectory planning for automated vehicles often increases with
the complexity of the traffic situation. This is particularly problematic in safety-critical …

For the last few decades, a lot of attention has been given to intelligent vehicle systems, and
in particular to automated safety and collision avoidance solutions. In this paper, we present …

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 …

Adaptive cruise control is one of the most common comfort features of road vehicles. Despite
its large market penetration, current systems are not safe in all driving conditions and require …