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