- Document type:
- Konferenzbeitrag
- Author(s):
- Kochdumper, Niklas; Gassert, Philipp; Althoff, Matthias
- Title:
- Verification of Collision Avoidance for CommonRoad Traffic Scenarios
- Keywords:
- justITSELF
- Book / Congress title:
- Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
- Year:
- 2021
- Pages:
- 184-194
- Fulltext / DOI:
- doi:10.29007/1973
BibTeX