Similar Items: Cost Preserving Bisimulations for Probabilistic Automata
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Coalgebras for Bisimulation of Weighted Automata over Semirings
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata