For Markov decision processes over analytic state spaces, the bisimulation pseudometric equals the logical distance of a quantitative modal logic.
Abstract and concrete categories: The joy of cats, 2004
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Expressivity of bisimulation pseudometrics over analytic state spaces
For Markov decision processes over analytic state spaces, the bisimulation pseudometric equals the logical distance of a quantitative modal logic.