Bisimulations Meet PCTL Equivalences for Probabilistic Automata.

Lei Song, Lijun Zhang, Jens Chr. Godskesen

Browse the full CONCUR paper archive.