Reasoning about MDPs as Transformers of Probability Distributions

Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, Youngmin Kwon. Reasoning about MDPs as Transformers of Probability Distributions. In QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010. pages 199-208, IEEE Computer Society, 2010. [doi]

Abstract

Abstract is missing.