KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections

Bischopink, Christopher ; Schwammberger, Maike ORCID iD icon

Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-3-030-54994-7
ISSN: 0302-9743
KITopen-ID: 1000169861
Erschienen in Formal Methods. FM 2019 International Workshops – Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I. Ed.: E. Sekerinski
Veranstaltung International Symposium on Formal Methods (FM 2019), Porto, Portugal, 07.10.2019 – 11.10.2019
Verlag Springer International Publishing
Seiten 249–264
Serie Lecture Notes in Computer Science (LNCS) ; 12232
Vorab online veröffentlicht am 13.08.2020
Nachgewiesen in Scopus
OpenAlex
Dimensions
Globale Ziele für nachhaltige Entwicklung Ziel 11 – Nachhaltige Städte und Gemeinden

Originalveröffentlichung
DOI: 10.1007/978-3-030-54994-7_18
Scopus
Zitationen: 6
Dimensions
Zitationen: 10
Seitenaufrufe: 46
seit 11.04.2024
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page