Mean-payoff games with ω-regular specifications (Games, 2022)

(untitled) - Gutierrez, J; Steeples, T; Wooldridge, M