Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.

Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen

Browse the full TACAS paper archive.