Microscopic traffic simulation provides a controllable, repeatable, and efficient testing
environment for autonomous vehicles (AVs). To evaluate AVs' safety performance …

Criticality measures are essential for autonomous vehicles to capture the complexity of the
surrounding environment, trigger emergency maneuvers, and verify safety. However, there …

Verifying the safety of autonomous vehicles is one of the major challenges towards their
deployment on public roads due to the vast number of possible situations that can occur in …

Bereits 1939 entwickelte der Künstler Norman Ben Geddes die Vision einer Stadt, die von
selbstfahrenden Autos befahren wird. In seiner Arbeit für die Weltausstellung im Auftrag von …

Scenario-based testing is a promising approach for the verification of automated vehicles
(AVs). In this paper, we present a novel approach that combines reachability analysis and …

Scenario-based testing is a common way to test automated and autonomous driving
systems. Experts derive scenario types such as “left turn at intersection” and refine them into …

This paper presents a new framework for generating test-case scenarios for autonomous
vehicles. We address two challenges in automatic test-case generation: first, a formal notion …

With increasing complexity of Automated Driving Systems (ADS), ensuring their safety and
reliability has become a critical challenge. The Verification and Validation (V&V) of these …

Multi-agent cooperative motion planning offers the potential to improve safety and the
overall traffic flow. However, many approaches for multi-agent driving do not incorporate …

This work elaborates on scenario-based testing of automated and autonomous driving
systems while considering completeness aspects. The goal is to test the driving system in …