[HTML][HTML] On Safety Assessment of Automated Driving Systems Using Simulation-based Testing and Formal Methods
M Saraoglu - 2024 - tud.qucosa.de
Abstract (EN) Automated vehicles are assumed to play an important role in the future of
mobility, but their operation must be provably safe. They consist of automated driving …
mobility, but their operation must be provably safe. They consist of automated driving …