Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, Youngmin Kwon. Model Checking MDPs with a Unique Compact Invariant Set of Distributions. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. pages 121-130, IEEE Computer Society, 2011. [doi]
Abstract is missing.