M. Lahijanian

Control of Markov decision processes from PCTL specifications

C. Belta, M. Lahijanian, S. B. Andersson, 2011, Proceedings of the 2011 American Control Conference.