@InProceedings{hausmann_et_al:LIPIcs.CONCUR.2024.28, author = {Hausmann, Daniel and Piterman, Nir}, title = {{Faster and Smaller Solutions of Obliging Games}}, booktitle = {35th International Conference on Concurrency Theory (CONCUR 2024)}, pages = {28:1--28:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-339-3}, ISSN = {1868-8969}, year = {2024}, volume = {311}, editor = {Majumdar, Rupak and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.28}, URN = {urn:nbn:de:0030-drops-208008}, doi = {10.4230/LIPIcs.CONCUR.2024.28}, annote = {Keywords: Two-player games, reactive synthesis, Emerson-Lei games, parity games} }