Similar Items: A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
- On-the-Fly Computation of Bisimilarity Distances
- Decisive Markov Chains
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- Algorithms for Markov Binomial Chains
- Conditional Bisimilarity for Reactive Systems
- Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions