Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata.

Qiyi Tang, Franck van Breugel

Browse the full CONCUR paper archive.