%0 Conference Paper %1 conf/fossacs/HausmannLP24 %A Hausmann, Daniel %A Lehaut, Mathieu %A Piterman, Nir %B FoSSaCS (1) %D 2024 %E Kobayashi, Naoki %E Worrell, James %I Springer %K dblp %P 55-78 %T Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-1.html#HausmannLP24 %V 14574 %@ 978-3-031-57228-9

@inproceedings{conf/fossacs/HausmannLP24, added-at = {2024-06-08T00:00:00.000+0200}, author = {Hausmann, Daniel and Lehaut, Mathieu and Piterman, Nir}, biburl = {https://www.bibsonomy.org/bibtex/2fe1af536b7a8691a4ea37b976d11e1b9/dblp}, booktitle = {FoSSaCS (1)}, crossref = {conf/fossacs/2024-1}, editor = {Kobayashi, Naoki and Worrell, James}, ee = {https://doi.org/10.1007/978-3-031-57228-9_4}, interhash = {f19e24d54f930352519e82641a1610f1}, intrahash = {fe1af536b7a8691a4ea37b976d11e1b9}, isbn = {978-3-031-57228-9}, keywords = {dblp}, pages = {55-78}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:39:57.000+0200}, title = {Symbolic Solution of Emerson-Lei Games for Reactive Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-1.html#HausmannLP24}, volume = 14574, year = 2024 }