Energy parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.