TY  - RPRT
TI  - Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
AU  - Daniel Hausmann
AU  - Mathieu Lehaut
AU  - Nir Pitermann
PY  - 2023
UR  - https://arxiv.org/abs/2305.02793
ID  - 2305.02793
ER  -