Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel

Browse the full CONCUR paper archive.