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.
My Menu
Saved Items

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)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)