Determinization and Limit-Determinization of Emerson-Lei Automata.

Tobias John, Simon Jantsch, Christel Baier, Sascha Klppelholz

Browse the full ATVA paper archive.