Gutierrez, Julian; Steeples, Thomas; Wooldridge, Michael J. - In: Games 13 (2022) 1, pp. 1-37
-)payoff function that depends on the play generated. As with all games, the equilibria that could arise may have undesirable properties …. However, as system designers, we typically wish to ensure that equilibria in such systems correspond to desirable system … equilibria that satisfy a given ω-regular specification in a multi-player mean-payoff game in a number of computationally …