Beitrag in einem Tagungsband
Ensuring Drivability of Planned Motions Using Formal Methods
Details zur Publikation
Autor(inn)en: | Schurmann, B.; Hes, D.; Eilbrecht, J.; Stursberg, O.; Koster, F.; Althoff, M. |
Herausgeber: | Institute of Electrical and Electronics Engineers |
Verlag: | IEEE |
Verlagsort / Veröffentlichungsort: | Piscataway, NJ |
Publikationsjahr: | 2017 |
Seitenbereich: | 1-8 |
Buchtitel: | 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC) |
ISBN: | 978-1-5386-1526-3 |
DOI-Link der Erstveröffentlichung: |
URN / URL: |
Zusammenfassung, Abstract
Kurzfassung, BibTex, URL
