Similar Items: Refinement and Difference for Probabilistic Automata
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
- Cost Preserving Bisimulations for Probabilistic Automata
- Model Checking Probabilistic Pushdown Automata
- High-level Counterexamples for Probabilistic Automata
- Quantitative Automata under Probabilistic Semantics
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata