Symbolic Solution of Emerson-Lei Games for Reactive Synthesis.

Daniel Hausmann, Mathieu Lehaut, Nir Piterman

Browse the full FOSSACS paper archive.