Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres
Schwammberger, Maike
; Bulwahn, Lukas [Hrsg.]; Kamali, Maryam [Hrsg.]; Linker, Sven [Hrsg.]
; Bulwahn, Lukas [Hrsg.]; Kamali, Maryam [Hrsg.]; Linker, Sven [Hrsg.]
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2017 |
| Sprache | Englisch |
| Identifikator | ISSN: 2075-2180 KITopen-ID: 1000169867 |
| Erschienen in | Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017, Ed.: L. Bulwahn |
| Veranstaltung | Workshop on Formal Verification of Autonomous Vehicles (2017), Turin, Italien, 19.09.2017 |
| Verlag | Open Publishing Association |
| Seiten | 59–74 |
| Serie | Electronic proceedings in theoretical computer science ; 257 |
| Vorab online veröffentlicht am | 08.09.2017 |
| Externe Relationen | Konferenz |
| Nachgewiesen in | Scopus Dimensions |