Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu. Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. pages 203-212, IEEE Computer Society, 2011. [doi]
Abstract is missing.