Throughout the last century, the automobile industry achieved remarkable milestones in
manufacturing reliable, safe, and affordable vehicles. Because of significant recent …

The prospect of driverless cars wide-scale deployment is imminent owing to the advances in
robotics, computational power, communications, and sensor technologies. This promises …

How safe are autonomous vehicles? The answer is critical for determining how autonomous
vehicles may shape motor vehicle safety and public health, and for developing sound …

Ensuring the safety of fully autonomous vehicles requires a multi-disciplinary approach
across all the levels of functional hierarchy, from hardware fault tolerance, to resilient …

Connected autonomous vehicles are considered as mitigators of issues such as traffic
congestion, road safety, inefficient fuel consumption and pollutant emissions that current …

Increasing application areas and depths of autonomous systems in logistics provide a new
level of challenge for the analysis and design of human–machine interaction concepts. Due …

Provably safe motion planning for automated road vehicles must ensure that planned
motions do not result in a collision with other traffic participants. This is a major challenge in …

By considering a lane change maneuver as primarily a longitudinal motion planning
problem, this paper presents a lane change maneuver algorithm with a pragmatic approach …

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 modern autonomy stacks, prediction modules are paramount to planning motions in the
presence of other mobile agents. However, failures in prediction modules can mislead the …