bb
| Beteiligte Mitarbeiter | Beschreibung | Benchmarks | Publikationen
|
| Lehrstuhl für Rechnerarchitektur | |
| Ralf Wimmer, Dr. | Entwickler / Kontakt |
Der Zweck des bb-Werkzeugs ist die Berechnungen von Schranken für Erreichbarkeitswahrscheinlichkeiten in unvollständigen Netzwerken von Markow-Entscheidungsprozessen (MDPs). Unvollständig bedeutet, dass die interne Struktur eines Teils der Komponenten nicht verfügbar ist, sondern lediglich die Schnittstelle, mit denen die fehlenden Teile mit den verfügbaren kommunizieren.
Chord networks (siehe http://www.avacs.org/fallstudien/)
|
Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker Reachability analysis for incomplete networks of Markov decision processes Int'l Conference on Formal Methods and Models for Codesign (MEMOCODE), 2011 |