An Improved Lower Bound for the Complementation of Rabin Automata.

Yang Cai, Ting Zhang, Haifeng Luo

Browse the full LICS paper archive.