Automated vehicles (AVs) have received intense attention in academia and industry around
the world in recent years, but the imminent introduction of AVs brings new challenges and …

Verification and validation (V&V) hold a significant position in the research and development
of automated vehicles (AVs). Current literature indicates that different V&V techniques have …

One critical bottleneck that impedes the development and deployment of autonomous
vehicles is the prohibitively high economic and time costs required to validate their safety in …

Preventing and mitigating high severity collisions is one of the main opportunities for
Automated Driving Systems (ADS) to improve road safety. This study evaluated the Waymo …

Autonomous driving systems have witnessed significant development during the past years
thanks to the advance in machine learning-enabled sensing and decision-making …

Verification and validation of automated driving functions impose large challenges.
Currently, scenario-based approaches are investigated in research and industry, aiming at a …

Scenario-based approaches have been receiving a huge amount of attention in research
and engineering of automated driving systems. Due to the complexity and uncertainty of the …

Highly Automated Vehicles (HAVs) must undergo strict safety testing before being released
to the public. Mileage-based on-road testing suffers from unaffordable time costs and high …

Market introduction of automated driving features several motivations including road safety,
driving comfort, energy efficiency and totally new transport systems. However, many …

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 …