Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Decision Algorithms for Probabilistic Bisimulation*
| |
|
Decision Algorithms for Probabilistic Bisimulation *
Stefano Cattani6 and Roberto Segala7
| (6) |
School of Computer Science, The University of Birmingham, B15 2TT Birmingham, UK |
| (7) |
Dipartimento di Informatica, Università di Verona, Strada Le Grazie 15, 2 37134 Verona, Ca’Vignal, Italy |
Abstract
We propose decision algorithms for bisimulation relations defined on probabilistic automata, a model for concurrent nondeterministic
systems with randomization. The algorithms decide both strong and weak bisimulation relations based on deterministic as well
as randomized schedulers. These algorithms extend and complete other known algorithms for simpler relations and models. The
algorithm we present for strong probabilistic bisimulation has polynomial time complexity, while the algorithm for weak probabilistic
bisimulation is exponential; however we argue that the latter is feasible in practice.
Supported in part by EPSRC grants GR/N22960 and GR/M13046
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|