- Title:
Verifying the Safety of Lane Change Maneuvers of Self-driving Vehicles Based on Formalized Traffic Rules
- Document type:
- Konferenzbeitrag
- Author(s):
- Pek, C.; Zahn, P.; Althoff, M.
- Pages contribution:
- 1477-1483
- Book / Congress title:
- Proc. of the IEEE Intelligent Vehicles Symposium
- Year:
- 2017
- Fulltext / DOI:
- doi:10.1109/IVS.2017.7995918
- BibTeX