TY - RPRT TI - Energy and Mean-Payoff Parity Markov Decision Processes AU - Krishnendu Chatterjee AU - Laurent Doyen PY - 2011 UR - https://arxiv.org/abs/1104.2909 ID - 1104.2909 ER -