_id,doi,title
5387,10.15479/AT:IST-2011-0001,Energy and mean-payoff parity Markov decision processes