Login
- Title:
A Formally Verified Motion Planner for Autonomous Vehicles
- Document type:
- Konferenzbeitrag
- Author(s):
- Rizaldi, A.; Immler, F.; Schürmann, B.; Althoff, M.
- Book / Congress title:
- Proc. of the International Symposium on Automated Technology for Verification and Analysis
- Year:
- 2018
- Pages:
- 75--90
- Fulltext / DOI:
- doi:10.1007/978-3-030-01090-4_5
BibTeX