Determinization and Limit-determinization of Emerson-Lei automata

Tobias John, Simon Jantsch, Christel Baier +1

We study the problem of determinizing $\omega$-automata whose acceptance condition is defined on the transitions using Boolean formulas, also known as transition-based Emerson-Lei autom…