Garantierte Fertigstellung komplexer Aufgaben durch temporale Logikbäume und Hamilton-Jacobi-Erreichbarkeitsanalyse

Durch den Einsatz von temporalen Logikbäumen und Hamilton-Jacobi-Erreichbarkeitsanalyse können Kontrollstrategien entwickelt werden, die die Erfüllung komplexer Aufgaben durch Cyber-Physische Systeme garantieren.