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 …

With growing numbers of intelligent autonomous systems in human environments, the ability
of such systems to perceive, understand, and anticipate human behavior becomes …

With the rise of artificial intelligence and automation, moral decisions that were formerly the
preserve of humans are being put into the hands of algorithms. In autonomous driving, a …

The philosophy, architecture, and capabilities of the COntinuous Reachability Analyzer
(CORA) are presented. CORA is a toolbox that integrates various vector and matrix set …

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 …

Virtual testing of automated vehicles using simulations is essential during their development.
When it comes to the testing of motion planning algorithms, one is mainly interested in …

Scenario understanding and motion prediction are essential components for completely
replacing human drivers and for enabling highly and fully automated driving (SAE-Level …

Autonomous vehicles (AVs) must share space with pedestrians, both in carriageway cases
such as cars at pedestrian crossings and off-carriageway cases such as delivery vehicles …

In this paper, we leverage vehicle-to-vehicle (V2V) communication technology to implement
computationally efficient decentralized algorithms for two-vehicle cooperative collision …

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 …