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 |
DOI-Link der Erstveröffentlichung: |
URN / URL: |
Abstract
Abstract, BibTex, URL
