Metrics for labelled Markov processes

2004/06/01 by Josée Desharnais, Vineet Gupta, Radha Jagadeesan +1 · 4 citations

paper · doi:10.1016/j.tcs.2003.09.013

Cited by

• Two behavioural pseudometrics for continuous-time Markov processes
• Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
• Correct-by-Design Control Synthesis of Stochastic Multi-agent Systems: a Robust Tensor-based Solution
• A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems