Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems.

Toms Brzdil, Antonn Kucera, Oldrich Strazovsk

Browse the full CONCUR paper archive.