Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. Hausmann, D., Lehaut, M., & Piterman, N. In Kobayashi, N. & Worrell, J., editors, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, volume 14574, of Lecture Notes in Computer Science, pages 55–78, 2024. Springer.
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/fossacs/HausmannLP24,
  author       = {Daniel Hausmann and
                  Mathieu Lehaut and
                  Nir Piterman},
  editor       = {Naoki Kobayashi and
                  James Worrell},
  title        = {Symbolic Solution of Emerson-Lei Games for Reactive Synthesis},
  booktitle    = {Foundations of Software Science and Computation Structures - 27th
                  International Conference, FoSSaCS 2024, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
                  Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14574},
  pages        = {55--78},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-57228-9\_4},
  doi          = {10.1007/978-3-031-57228-9\_4},
  timestamp    = {Sun, 14 Apr 2024 18:32:17 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/HausmannLP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0