At the Institute of Automotive Engineering (FZD) at TU Darmstadt, we develop
modeling and validation strategies for Automated Driving Systems (ADS) within
the framework of the DFG MiRoVA research project. To simulate the operational and tactical driving
behavior of varying automation levels and system designs, this thesis investigates the application of
stochastic state machines.
