Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Schürmann, Bastian; Heß, Daniel; Eilbrecht, Jan; Stursberg, Olaf; Köster, Frank; Althoff, Matthias 
Titel:
Ensuring Drivability of Planned Motions Using Formal Methods 
Kongress- / Buchtitel:
Proc. of the 20th IEEE International Conference on Intelligent Transportation Systems 
Jahr:
2017 
Reviewed:
ja