@Article{         MichalewskiMioBojanczyk,
  Author        = "Michalewski, Henryk and Mio, Matteo and Boja{\'n}czyk, Miko{\l}aj",
  Abstract      = "Subzero automata is a class of tree automata whose acceptance condition can express probabilistic constraints. Our main result is that the problem of determining if a subzero automaton accepts some regular tree is decidable.",
  date-added    = "2016-08-18 10:08:35 +0000",
  date-modified = "2016-08-18 10:08:35 +0000",
  EPrint        = "1608.03319",
  Month         = "08",
  Title         = "On the Regular Emptiness Problem of Subzero Automata",
  URL           = "http://arxiv.org/abs/1608.03319",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1608.03319",
  File          = "On the Regular Emptiness Problem of Subzero Automata - Michalewski, Mio, Bojańczyk (0) (0) - a - a - u.pdf"
}

@Article{ MichalewskiMioBojanczyk, Author = "Michalewski, Henryk and Mio, Matteo and Boja{\'n}czyk, Miko{\l}aj", Abstract = "Subzero automata is a class of tree automata whose acceptance condition can express probabilistic constraints. Our main result is that the problem of determining if a subzero automaton accepts some regular tree is decidable.", date-added = "2016-08-18 10:08:35 +0000", date-modified = "2016-08-18 10:08:35 +0000", EPrint = "1608.03319", Month = "08", Title = "On the Regular Emptiness Problem of Subzero Automata", URL = "http://arxiv.org/abs/1608.03319", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1608.03319", File = "On the Regular Emptiness Problem of Subzero Automata - Michalewski, Mio, Bojańczyk (0) (0) - a - a - u.pdf" }