Lower Bounds on Witnesses for Nonemptiness of Universal Co-Bchi Automata.

Orna Kupferman, Nir Piterman

Browse the full FOSSACS paper archive.