Similar Items: Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata
- Cost Preserving Bisimulations for Probabilistic Automata
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking
- Approximating Queries on Probabilistic Graphs
- Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms