On the Relative Succinctness of Nondeterministic Bchi and co-Bchi Word Automata.

Benjamin Aminof, Orna Kupferman, Omer Lev

Browse the full LPAR paper archive.