Robust Probabilistic Bisimilarity for Labelled Markov Chains.

Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel

Browse the full CAV paper archive.