KIT | KIT-Bibliothek | Impressum | Datenschutz

An abstract model for proving safety of autonomous urban traffic

Schwammberger, Maike ORCID iD icon

Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsdatum 05.10.2018
Sprache Englisch
Identifikator ISSN: 0304-3975
KITopen-ID: 1000169866
Erschienen in Theoretical Computing Science
Verlag Elsevier
Band 744
Seiten 143–169
Vorab online veröffentlicht am 14.08.2018
Nachgewiesen in Dimensions
Web of Science
Scopus
OpenAlex
Globale Ziele für nachhaltige Entwicklung Ziel 11 – Nachhaltige Städte und Gemeinden

Originalveröffentlichung
DOI: 10.1016/j.tcs.2018.05.028
Scopus
Zitationen: 21
Web of Science
Zitationen: 19
Dimensions
Zitationen: 26
Seitenaufrufe: 41
seit 11.04.2024
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page