KIT | KIT-Bibliothek | Impressum | Datenschutz

An Abstract Model for Proving Safety of Autonomous Urban Traffic

Hilscher, Martin; Schwammberger, Maike ORCID iD icon


Originalveröffentlichung
DOI: 10.1007/978-3-319-46750-4_16
Scopus
Zitationen: 17
Dimensions
Zitationen: 22
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2016
Sprache Englisch
Identifikator ISBN: 978-3-319-46750-4
ISSN: 0302-9743
KITopen-ID: 1000169869
Erschienen in Theoretical Aspects of Computing – ICTAC 2016, 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
Veranstaltung 13th International Colloquium on Theoretical Aspects of Computing (ICTAC 2016), Taipeh, Taiwan, 24.10.2016 – 31.10.2016
Verlag Springer International Publishing
Seiten 274–292
Serie Lecture Notes in Computer Science (LNCS) ; 9965
Vorab online veröffentlicht am 22.09.2016
Nachgewiesen in Scopus
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page