Verification of Collision Avoidance for CommonRoad Traffic Scenarios

Titel:: Verification of Collision Avoidance for CommonRoad Traffic Scenarios
Dokumenttyp:: Konferenzbeitrag
Autor(en):: Kochdumper, Niklas; Gassert, Philipp; Althoff, Matthias
Stichworte:: justITSELF
Kongress- / Buchtitel:: Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
Jahr:: 2021
Seiten:: 184-194
Volltext / DOI:: doi:10.29007/1973
BibTeX

Vorkommen: