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.
mehr...zu: Dissertationsprojekte