André Platzer
Durch die Entwicklung und Anwendung von differentiellen dynamischen Logiken hat André Platzer einen entscheidenden Beitrag zur Sicherheitsprüfung von cyber-physischen Systemen etwa im Verkehr, in der Luft- und Schifffahrt oder der Robotik geliefert.
Letzte Änderung: