@misc{indiciae2fc3240ddc37, title = {Finite-memory Strategies for Almost-sure Energy-MeanPayoff Objectives in MDPs}, author = {Mohan Dantam and Richard Mayr}, year = {2025}, doi = {10.4230/lipics.icalp.2024.133}, url = {https://arxiv.org/abs/2404.14522}, note = {Source identifier: 2404.14522} }