@Article{         AbdullaClementeMayrSandberg,
  Author        = "Abdulla, Parosh Aziz and Clemente, Lorenzo and Mayr, Richard and Sandberg, Sven",
  Abstract      = "We give an algorithm for solving stochastic parity games with almost-sure winning conditions on {\it lossy channel systems}, under the constraint that both players are restricted to finite-memory strategies. First, we describe a general framework, where we consider the class of 2 1/2-player games with almost-sure parity winning conditions on possibly infinite game graphs, assuming that the game contains a {\it finite attractor}. An attractor is a set of states (not necessarily absorbing) that is almost surely re-visited regardless of the players' decisions. We present a scheme that characterizes the set of winning states for each player. Then, we instantiate this scheme to obtain an algorithm for {\it stochastic game lossy channel systems}.",
  date-added    = "2014-10-17 06:16:18 +0000",
  date-modified = "2014-10-17 06:16:18 +0000",
  EPrint        = "1410.4448",
  Month         = "10",
  Title         = "Stochastic Parity Games on Lossy Channel Systems",
  URL           = "http://arxiv.org/abs/1410.4448",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1410.4448",
  File          = "Stochastic Parity Games on Lossy Channel Systems - Abdulla, Clemente, Mayr, Sandberg (0) (0) - a - a - i.pdf"
}

@Article{ AbdullaClementeMayrSandberg, Author = "Abdulla, Parosh Aziz and Clemente, Lorenzo and Mayr, Richard and Sandberg, Sven", Abstract = "We give an algorithm for solving stochastic parity games with almost-sure winning conditions on {\it lossy channel systems}, under the constraint that both players are restricted to finite-memory strategies. First, we describe a general framework, where we consider the class of 2 1/2-player games with almost-sure parity winning conditions on possibly infinite game graphs, assuming that the game contains a {\it finite attractor}. An attractor is a set of states (not necessarily absorbing) that is almost surely re-visited regardless of the players' decisions. We present a scheme that characterizes the set of winning states for each player. Then, we instantiate this scheme to obtain an algorithm for {\it stochastic game lossy channel systems}.", date-added = "2014-10-17 06:16:18 +0000", date-modified = "2014-10-17 06:16:18 +0000", EPrint = "1410.4448", Month = "10", Title = "Stochastic Parity Games on Lossy Channel Systems", URL = "http://arxiv.org/abs/1410.4448", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1410.4448", File = "Stochastic Parity Games on Lossy Channel Systems - Abdulla, Clemente, Mayr, Sandberg (0) (0) - a - a - i.pdf" }