Klaška, D.; Kučera, A.; Kůr, V.; Musil, V.; Řehák, V. Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. AAAI 2024, 38, 20143-20150.