@Article{         BruyereDucobuGauwin,
  Author        = "Bruy{\`e}re, V{\'e}ronique and Ducobu, Marc and Gauwin, Olivier",
  Abstract      = "An automaton is universal if it accepts every possible input. We study the notion of u-universality, which asserts that the automaton accepts every input starting with u. Universality and u-universality are both EXPTIME-hard for non-deterministic tree automata. We propose efficient antichain-based techniques to address these problems for visibly pushdown automata operating on trees. One of our approaches yields algorithms for the universality and u-universality of hedge automata.",
  date-added    = "2013-07-15 09:47:31 +0000",
  date-modified = "2013-07-15 09:47:45 +0000",
  EPrint        = "1205.2841",
  Keywords      = "visibly pushdown automata and tree automata",
  Month         = "05",
  Title         = "Visibly pushdown automata on trees: universality and u-universality",
  URL           = "http://arxiv.org/abs/1205.2841",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1205.2841",
  File          = "Visibly pushdown automata on trees universality and u-universality - Bruyère, Ducobu, Gauwin (0) (0) - a - a - q.pdf"
}

@Article{ BruyereDucobuGauwin, Author = "Bruy{`e}re, V{\'e}ronique and Ducobu, Marc and Gauwin, Olivier", Abstract = "An automaton is universal if it accepts every possible input. We study the notion of u-universality, which asserts that the automaton accepts every input starting with u. Universality and u-universality are both EXPTIME-hard for non-deterministic tree automata. We propose efficient antichain-based techniques to address these problems for visibly pushdown automata operating on trees. One of our approaches yields algorithms for the universality and u-universality of hedge automata.", date-added = "2013-07-15 09:47:31 +0000", date-modified = "2013-07-15 09:47:45 +0000", EPrint = "1205.2841", Keywords = "visibly pushdown automata and tree automata", Month = "05", Title = "Visibly pushdown automata on trees: universality and u-universality", URL = "http://arxiv.org/abs/1205.2841", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1205.2841", File = "Visibly pushdown automata on trees universality and u-universality - Bruyère, Ducobu, Gauwin (0) (0) - a - a - q.pdf" }