On safety assessment of automated driving systems using simulation-based testing and formal methods
2024
1 Online-Ressource
Hochschulschrift
Elektronische Ressource
Englisch
On safety assessment of automated driving systems using simulation-based testing and formal methods
TIBKAT | 2024
|