Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains.

Qiyi Tang, Franck van Breugel

Browse the full CAV paper archive.