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 …

In recent years, autonomous vehicles (AVs), which observe the driving environment and
lead a few or all of the driving tasks, have garnered tremendous success. The field of AVs …

The ability of automated vehicles (AV) to avoid accidents in complex traffic environments is
the focus of considerable public attention. Intel has proposed a mathematical model called …

Safety guarantees are vital to the dependability of the automated vehicle (AV), so are of
primary concern to the AV industry and regulatory bodies. Responsibility-Sensitive Safety …

Currently, model predictive control (MPC) for adaptive cruise control (ACC) systems relies
on the prediction of the leader's motion to plan the follower's trajectory. However, such …

Abstract Adaptive Cruise Control (ACC) systems have been expected to solve many
problems of motorway traffic. Now that they are widespread, it is observed that the majority of …

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 …

An adaptive potential field is designed to adapt the acceleration/deceleration and mass of
the obstacle. The potential fields are established in a transformed road coordinate system to …

Attack detection and recovery are fundamental elements for the operation of safe and
resilient cyber-physical systems. Most of the literature focuses on attack-detection, while …

Falsification aims to disprove the safety of systems by providing counter-examples that lead
to a violation of safety properties. In this work, we present two novel falsification methods to …