Metrics for labelled Markov processes
Theoretical Computer Science - Logic, semantics and theory of programming
A behavioural pseudometric for probabilistic transition systems
Theoretical Computer Science - Automata, languages and programming
Comparative branching-time semantics for Markov chains
Information and Computation
Approximating and computing behavioural distances in probabilistic transition systems
Theoretical Computer Science
A Demonic Approach to Information in Probabilistic Systems
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A logical duality for underspecified probabilistic systems
Information and Computation
Bisimulation Metrics for Continuous Markov Decision Processes
SIAM Journal on Computing
| Hi-index | 0.00 |