Similar Items: Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
- Refinement and Difference for Probabilistic Automata
- On-the-Fly Computation of Bisimilarity Distances
- Model Checking Probabilistic Pushdown Automata
- Cost Preserving Bisimulations for Probabilistic Automata
- High-level Counterexamples for Probabilistic Automata