@InBook{          10.5555/3463952.3464099,
  Author        = "Steeples, Thomas and Gutierrez, Julian and Wooldridge, Michael",
  Abstract      = "Multi-player mean-payoff games are a natural formalism to model concurrent and multi-agent systems with self-interested players. Players in such a game traverse a graph, while trying to maximise a mean-payoff function that depends on the plays so 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 behaviours, for example, satisfying certain safety or liveness properties. One natural way to do this would be to specify such desirable properties using temporal logic. Unfortunately, the use of temporal logic specifications causes game theoretic verification problems to have very high computational complexity. To this end, we consider \o{}mega-regular specifications, which offer a concise and intuitive way of specifying desirable behaviours of a system. The main results of this work are characterisation and complexity bounds for the problem of determining if there are equilibria that satisfy a given \o{}mega-regular specification in a multi-player mean-payoff game in a number of computationally relevant game-theoretic settings.",
  Address       = "Richland, SC",
  BookTitle     = "Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems",
  date-added    = "2021-09-20 11:16:20 +0200",
  date-modified = "2021-09-20 11:16:20 +0200",
  ISBN          = "9781450383073",
  numpages      = "9",
  Pages         = "1272--1280",
  Publisher     = "International Foundation for Autonomous Agents and Multiagent Systems",
  Title         = "Mean-Payoff Games with {$\omega$}-Regular Specifications",
  Year          = "2021",
  File          = "Mean-Payoff Games with {$\omega$}-Regular Specifications - p1272.pdf"
}

@InBook{ 10.5555/3463952.3464099, Author = "Steeples, Thomas and Gutierrez, Julian and Wooldridge, Michael", Abstract = "Multi-player mean-payoff games are a natural formalism to model concurrent and multi-agent systems with self-interested players. Players in such a game traverse a graph, while trying to maximise a mean-payoff function that depends on the plays so 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 behaviours, for example, satisfying certain safety or liveness properties. One natural way to do this would be to specify such desirable properties using temporal logic. Unfortunately, the use of temporal logic specifications causes game theoretic verification problems to have very high computational complexity. To this end, we consider \o{}mega-regular specifications, which offer a concise and intuitive way of specifying desirable behaviours of a system. The main results of this work are characterisation and complexity bounds for the problem of determining if there are equilibria that satisfy a given \o{}mega-regular specification in a multi-player mean-payoff game in a number of computationally relevant game-theoretic settings.", Address = "Richland, SC", BookTitle = "Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems", date-added = "2021-09-20 11:16:20 +0200", date-modified = "2021-09-20 11:16:20 +0200", ISBN = "9781450383073", numpages = "9", Pages = "1272--1280", Publisher = "International Foundation for Autonomous Agents and Multiagent Systems", Title = "Mean-Payoff Games with {$\omega$}-Regular Specifications", Year = "2021", File = "Mean-Payoff Games with {$\omega$}-Regular Specifications - p1272.pdf" }