1 citations · 1 across the 2 of their papers we have counts for
2 papers
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.LO2026★ 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…