31 citations · 31 across the 1 of their papers we have counts for
1 paper · 1 filter
Sven Schewe
The precise complexity of complementing Büchi automata is an intriguing and long standing problem. While optimal complementation techniques for finite automata are simple - it suff…