Prof. Dr. Martin Georg Fränzle
Eingebettete Computersysteme, insbes. Modellbildung, Analyse, Verifikation und Synthese hybrid diskret-kontinuierlicher Systeme und cyber-physischer Systeme.
Department für Informatik (» Postanschrift)
Lehrveranstaltungen
Wintersemester 2024 / 2025
2.01.338
Design of Autonomous Systems