Showing cs.LOShow all
3 papers · 1 filter
cs.LO2026
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…
cs.LO2026
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…
cs.LO2025★ 1 cited
Robust Probabilistic Bisimilarity for Labelled Markov Chains
Syyeda Zainab Fatmi, Stefan Kiefer, David Parker +1
Despite its prevalence, probabilistic bisimilarity suffers from a lack of robustness under minuscule perturbations of the transition probabilities. This can lead to discontinuities…