A pseudo-quasi-polynomial algorithm for mean-payoff parity games
Laure Daviaud, Martin Jurdziński, Ranko Lazić · 2018
In a mean-payoff parity game, one of the two players aims both to achieve a qualitative parity objective and to minimize a quantitative long-term average of payoffs (aka. mean payoff). The game is zero-sum and hence the aim of the other player is to either foil the parity objective or to maximize the mean payoff.