DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2011-0001,5387,KrCh,Energy and mean-payoff parity Markov decision processes