Perturbation equivalence in labelled Markov chains

Syyeda Zainab Fatmi, Stefan Kiefer, James C. A. Main +1

Behavioural equivalences, such as language equivalence and probabilistic bisimilarity, are fundamental techniques for reducing the size of probabilistic models. However, these equi…