Login
- Titel:
A Formally Verified Motion Planner for Autonomous Vehicles
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Rizaldi, A.; Immler, F.; Schürmann, B.; Althoff, M.
- Kongress- / Buchtitel:
- Proc. of the International Symposium on Automated Technology for Verification and Analysis
- Jahr:
- 2018
- Seiten:
- 75--90
- Volltext / DOI:
- doi:10.1007/978-3-030-01090-4_5
BibTeX