- 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