22 citations · 22 across the 1 of their papers we have counts for
1 paper
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi +1
Complementation of Büchi automata has been studied for over five decades since the formalism was introduced in 1960. Known complementation constructions can be classified into Rams…