Finite-Memory Strategies for Almost-Sure Energy-Mean Payoff Objectives in Markov Decision Processes

Finite-memory strategies suffice for almost-surely winning the Energy-Mean Payoff objective in Markov Decision Processes, even though infinite memory is required for the closely related Energy-Parity objective.