An Improved Lower Bound for the Complementation of Rabin Automata

Type
Conference paper
Publication
In the 24th Annual IEEE Symposium on Logic in Computer Science.
Date
Links
PDF