W. Guo and T.-Y. Leong, “An Analytic Characterization of Model Minimization in Factored Markov Decision Processes”, AAAI, vol. 24, no. 1, pp. 1077-1082, Jul. 2010.