Conference proceedings article
Ensuring Drivability of Planned Motions Using Formal Methods



Publication Details
Authors:
Schurmann, B.; Hes, D.; Eilbrecht, J.; Stursberg, O.; Koster, F.; Althoff, M.
Editor:
Institute of Electrical and Electronics Engineers
Publisher:
IEEE
Place:
Piscataway, NJ
Publication year:
2017
Pages range:
1-8
Book title:
2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC)
ISBN:
978-1-5386-1526-3



Authors/Editors

Last updated on 2019-28-01 at 11:23