Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Self-Explainable Cyber-Physical Systems, , , , , , , und . Proceedings of MODELS 2019. Workshop Models@run.time, Seite 542--547. IEEE, (September 2019)Formalising a Hazard Warning Communication Protocol with Timed Automata., und . Models, Algorithms, Logics and Tools, Volume 10460 von Lecture Notes in Computer Science, Seite 640-660. Springer, (2017)Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL.. SCAV@CPSWeek, Volume 269 von EPTCS, Seite 17-31. (2018)An Abstract Model for Proving Safety of Autonomous Urban Traffic., und . ICTAC, Volume 9965 von Lecture Notes in Computer Science, Seite 274-292. (2016)Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr.. Ausgezeichnete Informatikdissertationen, Volume D-21 von LNI, GI, (2020)Explaining Cyber-Physical System Behavior with Digital Twins, , und . IEEE Software, (2023)Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres.. FVAV@iFM, Volume 257 von EPTCS, Seite 59-74. (2017)An abstract model for proving safety of autonomous urban traffic.. Theor. Comput. Sci., (2018)Towards Self-Explainable Cyber-Physical Systems., , , , , , , und . MoDELS (Companion), Seite 543-548. IEEE, (2019)