Symmetry reduction for probabilistic model checking (2009)

by M Kwiatkowska, G Norman, D Parker
Venue:In Proceedings of the Sixth International Conference on the Quantitative Evaluation of Systems (QEST’09