@Article{         BertrandSchnoebelen,
  Author        = "Bertrand, Nathalie and Schnoebelen, Philippe",
  Abstract      = {We consider games played on an infinite probabilistic arena where the first player aims at satisfying generalized B\"uchi objectives almost surely, i.e., with probability one. We provide a fixpoint characterization of the winning sets and associated winning strategies in the case where the arena is decisive. From this we directly deduce the decidability of these games on probabilistic lossy channel systems.},
  date-added    = "2012-12-20 09:31:33 +0000",
  date-modified = "2014-01-08 10:21:00 +0000",
  EPrint        = "1207.4577",
  Keywords      = "stochastic games and decisive Markov chains and readme",
  Month         = "07",
  Title         = {Solving Stochastic B{\"u}chi Games on Infinite Decisive Arenas},
  URL           = "http://arxiv.org/abs/1207.4577",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1207.4577",
  File          = "Solving Stochastic Büchi Games on Infinite Decisive Arenas - Bertrand, Schnoebelen (0) (0) - a - a - r.pdf"
}

@Article{ BertrandSchnoebelen, Author = "Bertrand, Nathalie and Schnoebelen, Philippe", Abstract = {We consider games played on an infinite probabilistic arena where the first player aims at satisfying generalized B\"uchi objectives almost surely, i.e., with probability one. We provide a fixpoint characterization of the winning sets and associated winning strategies in the case where the arena is decisive. From this we directly deduce the decidability of these games on probabilistic lossy channel systems.}, date-added = "2012-12-20 09:31:33 +0000", date-modified = "2014-01-08 10:21:00 +0000", EPrint = "1207.4577", Keywords = "stochastic games and decisive Markov chains and readme", Month = "07", Title = {Solving Stochastic B{\"u}chi Games on Infinite Decisive Arenas}, URL = "http://arxiv.org/abs/1207.4577", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1207.4577", File = "Solving Stochastic Büchi Games on Infinite Decisive Arenas - Bertrand, Schnoebelen (0) (0) - a - a - r.pdf" }