MDPs with Energy-Parity Objectives

Richard Mayr, Sven Schewe, Patrick Totzke +1

Energy-parity objectives combine $\omega$-regular with quantitative objectives of reward MDPs. The controller needs to avoid to run out of energy while satisfying a parity objective. We…