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 …

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 …

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 …

The motion planners used in self-driving vehicles need to generate trajectories that are safe,
comfortable, and obey the traffic rules. This is usually achieved by two modules: behavior …

This paper presents a framework for fast and robust motion planning designed to facilitate
automated driving. The framework allows for real-time computation even for horizons of …

This paper considers the problem of optimal trajectory generation for autonomous driving
under both continuous and logical constraints. Classical approaches based on continuous …

This paper presents a real-time motion planning scheme for urban autonomous driving that
will be deployed as a basis for cooperative maneuvers defined in the European project …

Autonomous racing has increasingly become a research subject as it provides insights into
dynamic, high-speed situations. One crucial aspect of handling these situations, especially …

Intelligent decision making and efficient trajectory planning are closely related in
autonomous driving technology, especially in highway environment full of dynamic …

This paper considers the problem of cooperative trajectory planning for multiple,
communicating, automated vehicles in general non-hazardous on-road scenarios …