Morteza Lahijanian, Sean B. Andersson, Calin Belta. Control of Markov decision processes from PCTL specifications. In American Control Conference, ACC 2011, San Francisco, CA, USA, June 29 - July 1, 2011. pages 311-316, IEEE, 2011. [doi]
Abstract is missing.