1 paper
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…