Complementation of Emerson-Lei Automata.

Vojtech Havlena, Ondrej Lengl, Barbora Smahlkov

Browse the full FOSSACS paper archive.