Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL
Schwammberger, Maike
; Gleirscher, Mario [Hrsg.]; Kugele, Stefan [Hrsg.]; Linker, Sven [Hrsg.]
; Gleirscher, Mario [Hrsg.]; Kugele, Stefan [Hrsg.]; Linker, Sven [Hrsg.]
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2018 |
| Sprache | Englisch |
| Identifikator | ISSN: 2075-2180 KITopen-ID: 1000169865 |
| Erschienen in | Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018, Ed.: M. Gleirscher |
| Veranstaltung | 2nd International Workshop on Safe Control of Autonomous Vehicles (2018), Porto, Portugal, 10.04.2018 |
| Verlag | Open Publishing Association |
| Seiten | 17–31 |
| Serie | Electronic proceedings in theoretical computer science ; 269 |
| Vorab online veröffentlicht am | 12.04.2018 |
| Externe Relationen | Konferenz |
| Nachgewiesen in | Dimensions Scopus |