As the verification of automated driving systems poses an immense challenge. recent approaches aim for a virtualization of such efforts using computer simulations. This goal. however. https://www.nacrack.com/