Similar Items: Quantitative Automata under Probabilistic Semantics
- Quantitative Semantics for Jumping 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
- High-level Counterexamples for Probabilistic Automata