Energy and Mean-Payoff Parity Markov Decision Processes. (2011)

by K Chatterjee, L Doyen
Venue:In Proceedings of MFCS 2011,