User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Schürmann, Bastian; Heß, Daniel; Eilbrecht, Jan; Stursberg, Olaf; Köster, Frank; Althoff, Matthias 
Title:
Ensuring Drivability of Planned Motions Using Formal Methods 
Book / Congress title:
Proc. of the 20th IEEE International Conference on Intelligent Transportation Systems 
Year:
2017 
Reviewed:
ja