Stanley Bak

Eine Methode, um zu überprüfen, ob Systeme den zeitlichen Logikstandards entsprechen, ohne manuelle Eingabe.

Eine neue Methode verbessert die Entscheidungsfindung im autonomen Fahren für ein besseres Verkehrsmanagement.

Ein neuer Ansatz verbessert die Sicherheit in Systemen mit Unsicherheiten durch Erreichbarkeitsanalysen.