Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Titel:

Ensuring Drivability of Planned Motions Using Formal Methods

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Schürmann, Bastian; Heß, Daniel; Eilbrecht, Jan; Stursberg, Olaf; Köster, Frank; Althoff, Matthias
Kongress- / Buchtitel:
Proc. of the 20th IEEE International Conference on Intelligent Transportation Systems
Jahr:
2017
Reviewed:
ja
Volltext / DOI:
doi:10.1109/ITSC.2017.8317647
 BibTeX