For Markov decision processes over analytic state spaces, the bisimulation pseudometric equals the logical distance of a quantitative modal logic.
Title resolution pending
1 Pith paper cite this work, alongside 28 external citations. Polarity classification is still indexing.
1
Pith paper citing it
28
external citations · OpenAlex
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.