@Article{         Przybyko,
  Author        = "Przyby{\l}ko, Marcin",
  Abstract      = "We study tree games developed recently by Matteo Mio as a game interpretation of the probabilistic $\mu$-calculus. With expressive power comes complexity. Mio showed that tree games are able to encode Blackwell games and, consequently, are not determined under deterministic strategies.",
  date-added    = "2014-09-10 07:23:24 +0000",
  date-modified = "2014-09-10 07:23:24 +0000",
  EPrint        = "1408.6477",
  Month         = "08",
  Title         = "Tree games with regular objectives",
  URL           = "http://arxiv.org/abs/1408.6477",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1408.6477",
  File          = "Tree games with regular objectives - Przybyłko (0) (0) - a - a - o.pdf"
}

@Article{ Przybyko, Author = "Przyby{\l}ko, Marcin", Abstract = "We study tree games developed recently by Matteo Mio as a game interpretation of the probabilistic $\mu$-calculus. With expressive power comes complexity. Mio showed that tree games are able to encode Blackwell games and, consequently, are not determined under deterministic strategies.", date-added = "2014-09-10 07:23:24 +0000", date-modified = "2014-09-10 07:23:24 +0000", EPrint = "1408.6477", Month = "08", Title = "Tree games with regular objectives", URL = "http://arxiv.org/abs/1408.6477", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1408.6477", File = "Tree games with regular objectives - Przybyłko (0) (0) - a - a - o.pdf" }