Finite-memory Strategies for Almost-sure Energy-MeanPayoff Objectives in MDPs

Mohan Dantam, Richard Mayr

We consider finite-state Markov decision processes with the combined Energy-MeanPayoff objective. The controller tries to avoid running out of energy while simultaneously attaining…