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