Determinization of $\omega$-automata unified

Hrishikesh Karmarkar, Supratik Chakraborty

We describe a uniform construction for converting $\omega$-automata with arbitrary acceptance conditions (based on the notion of infinity sets i.e. the set of states visited infinitely…