@Article{         ChatterjeeFijalkow,
  Author        = {Chatterjee, Krishnendu and Fijalkow, Nathana{\"e}l},
  Abstract      = {We study two-player zero-sum games over infinite-state graphs with boundedness conditions. Our first contribution is about the strategy complexity, i.e the memory required for winning strategies: we prove that over general infinite-state graphs, memoryless strategies are sufficient for finitary B\"uchi games, and finite-memory suffices for finitary parity games. We then study pushdown boundedness games, with two contributions. First we prove a collapse result for pushdown omega B games, implying the decidability of solving these games. Second we consider pushdown games with finitary parity along with stack boundedness conditions, and show that solving these games is EXPTIME-complete.},
  date-added    = "2013-06-26 08:57:05 +0000",
  date-modified = "2013-06-26 08:57:05 +0000",
  EPrint        = "1301.2661",
  Month         = "01",
  Title         = "Infinite-state games with finitary conditions",
  URL           = "http://arxiv.org/abs/1301.2661",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1301.2661",
  File          = "Infinite-state games with finitary conditions - Chatterjee, Fijalkow (0) (1) - a - a - r.pdf"
}

@Article{ ChatterjeeFijalkow, Author = {Chatterjee, Krishnendu and Fijalkow, Nathana{\"e}l}, Abstract = {We study two-player zero-sum games over infinite-state graphs with boundedness conditions. Our first contribution is about the strategy complexity, i.e the memory required for winning strategies: we prove that over general infinite-state graphs, memoryless strategies are sufficient for finitary B\"uchi games, and finite-memory suffices for finitary parity games. We then study pushdown boundedness games, with two contributions. First we prove a collapse result for pushdown omega B games, implying the decidability of solving these games. Second we consider pushdown games with finitary parity along with stack boundedness conditions, and show that solving these games is EXPTIME-complete.}, date-added = "2013-06-26 08:57:05 +0000", date-modified = "2013-06-26 08:57:05 +0000", EPrint = "1301.2661", Month = "01", Title = "Infinite-state games with finitary conditions", URL = "http://arxiv.org/abs/1301.2661", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1301.2661", File = "Infinite-state games with finitary conditions - Chatterjee, Fijalkow (0) (1) - a - a - r.pdf" }