Applikationsszenarien
Dieser Forschungszweig beschäftigt sich mit auftretenden Herausforderungen bei der praktischen Anwendung in drei Anwendungsgebieten: Sicherheit, Robotik und Eisenbahnwesen. Einige der Themenbereiche sind: Logiken und symbolische Verifikationsalgorithmen für die Analyse von Software für Roboter im Bezug auf Unsicherheiten, Eisenbahnbetriebsdisposition, Entwurf und Planung unter Nutzung von robuster Optimierung und Sicherheitsanalyse durch probabilistisches Model Checking, Komplexitätsanalyse und Analyse von angenähertem Verhalten von sicherer Mehrparteienkommunikation und Verifikation von probabilistischen, verteilten Abrechnungsprotokollen.