The rapid development of Artificial Intelligence (AI) technology has enabled the deployment
of various systems based on it. However, many current AI systems are found vulnerable to …

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 …

Numerical experiments for motion planning of road vehicles require numerous components:
vehicle dynamics, a road network, static obstacles, dynamic obstacles and their movement …

Automated vehicles require efficient and safe planning to maneuver in uncertain
environments. Largely this uncertainty is caused by other traffic participants, eg, surrounding …

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 innovation in the automobiles have undergone a most noteworthy leap from the
operation of the vehicles that was human centered to vehicles with the self–driving ability …

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 …

Some of the first 'automated'vehicles to be deployed on our roads will require a system of
shared driving with a human driver. While this creates technical and operational challenges …

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 …

Ensuring the safety of self-driving vehicles is a challenging task, especially if other traffic
participants severely deviate from the predicted behavior. One solution is to ensure that the …