UnRAVeL hat sich zum Ziel gesetzt, probabilistische Modellierung und Analyse von Ungewissheit durch die Entwicklung neuer Theorien, Algorithmen und Verifikationstechniken signifikant voranzutreiben und auf zentrale Probleme in den Bereichen Sicherheit, Planung, sowie Betriebssicherheit und Leistungsanalyse anzuwenden.
Hierzu bilden theoretische Informatiker aus den Gebieten computerunterstützte Verifikation, Logik und Spieltheorie, Algorithmen und Komplexität zusammen mit Experten aus der Betriebswirtschaftslehre, der angewandten Informatik und dem Eisenbahnwesen den Kern des GKs. Grafik: UnRAVeL
mehr...zu: Profil