TY - RPRT TI - Finite-memory Strategies for Almost-sure Energy-MeanPayoff Objectives in MDPs AU - Mohan Dantam AU - Richard Mayr PY - 2025 DO - 10.4230/lipics.icalp.2024.133 UR - https://arxiv.org/abs/2404.14522 ID - 2404.14522 ER -