Similar Items: Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking
- Cost Preserving Bisimulations for Probabilistic Automata
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Model Checking Probabilistic Pushdown Automata
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Model Checking Temporal Properties of Recursive Probabilistic Programs