Guo, W.; Leong, T.-Y. An Analytic Characterization of Model Minimization in Factored Markov Decision Processes. AAAI 2010, 24, 1077-1082.