1 paper
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger +1
In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objective…