Energy and Mean-Payoff Parity Markov Decision Processes.

Krishnendu Chatterjee, Laurent Doyen

Browse the full MFCS paper archive.