User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

Ensuring Drivability of Planned Motions Using Formal Methods

Document type:
Konferenzbeitrag
Author(s):
Schürmann, Bastian; Heß, Daniel; Eilbrecht, Jan; Stursberg, Olaf; Köster, Frank; Althoff, Matthias
Book / Congress title:
Proc. of the 20th IEEE International Conference on Intelligent Transportation Systems
Year:
2017
Reviewed:
ja
Fulltext / DOI:
doi:10.1109/ITSC.2017.8317647
 BibTeX