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 …

To test automated driving systems, we present a case study for finding critical scenarios in
driving environments guided by formal specifications. To that aim, we devise a framework for …

Conformance is defined as a measure of distance between the behaviors of two dynamical
systems. The notion of conformance can accelerate system design when models of varying …

This thesis presents methods for generating safety-critical traffic scenarios to test motion
planning algorithms of autonomous vehicles. We introduce an algorithm to optimize traffic …

In the development of modern Cyber-Physical Systems, Model-Based Testing of the closed-
loop system is an approach for finding potential faults and increasing quality of developed …