3 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.LO2025
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…
cs.FL2024
Minimising the Probabilistic Bisimilarity Distance
Stefan Kiefer, Qiyi Tang
A labelled Markov decision process (MDP) is a labelled Markov chain with nondeterminism; i.e., together with a strategy a labelled MDP induces a labelled Markov chain. The model is…