Tight Bounds for the Determinisation and Complementation of Generalised Bchi Automata.

Sven Schewe, Thomas Varghese

Browse the full ATVA paper archive.