On safety assessment of automated driving systems using simulation-based testing and formal methods
2024
1 Online-Ressource
Theses
Electronic Resource
English
On safety assessment of automated driving systems using simulation-based testing and formal methods
TIBKAT | 2024
|