bb
| project staff | description | benchmarks | publications
|
| Chair of Computer Architecture | |
| Ralf Wimmer, Dr. | developer / contact |
The purpose of the bb tool is to compute bounds on the probability of reaching a set of target states in an incomplete network of Markov decision processes (MDPs). Incomplete means that the internal structure of some of the components of the network is not available but only the interface via which they communicate with the available parts.
Chord networks (cf. 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 |