@Article{         Avni:2017aa,
  Author        = "Avni, Guy and Chonev, Ventsislav and Henzinger, Thomas A.",
  Abstract      = "Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several common modes to determine how the players move the token through the graph; e.g., in turn-based games the players alternate turns in moving the token. We study the {\em bidding} mode of moving the token, which, to the best of our knowledge, has never been studied in infinite-duration games. Both players have separate {\em budgets}, which sum up to",
  date-added    = "2017-05-12 11:29:19 +0000",
  date-modified = "2017-05-12 11:36:44 +0000",
  EPrint        = "1705.01433",
  Keywords      = "citesme!",
  Month         = "05",
  Title         = "Infinite-Duration Bidding Games",
  URL           = "https://arxiv.org/abs/1705.01433",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1705.01433",
  File          = "1705.01433 (0) - a - a - p.pdf"
}

@Article{ Avni:2017aa, Author = "Avni, Guy and Chonev, Ventsislav and Henzinger, Thomas A.", Abstract = "Two-player games on graphs are widely studied in formal methods as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several common modes to determine how the players move the token through the graph; e.g., in turn-based games the players alternate turns in moving the token. We study the {\em bidding} mode of moving the token, which, to the best of our knowledge, has never been studied in infinite-duration games. Both players have separate {\em budgets}, which sum up to", date-added = "2017-05-12 11:29:19 +0000", date-modified = "2017-05-12 11:36:44 +0000", EPrint = "1705.01433", Keywords = "citesme!", Month = "05", Title = "Infinite-Duration Bidding Games", URL = "https://arxiv.org/abs/1705.01433", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1705.01433", File = "1705.01433 (0) - a - a - p.pdf" }