On the Continuity of the Probabilistic Bisimilarity Distance

Syyeda Zainab Fatmi, Stefan Kiefer, David Parker +1

The probabilistic bisimilarity distance provides a quantitative measure of behavioural difference for labelled Markov chains, but it may be discontinuous under perturbations of the…