TY - RPRT TI - MDP Optimal Control under Temporal Logic Constraints AU - Xu Chu Ding AU - Stephen L. Smith AU - Calin Belta AU - Daniela Rus PY - 2011 UR - https://arxiv.org/abs/1103.4342 ID - 1103.4342 ER -