@inproceedings(buchi1967solving, author = {J.~Richard Buchi and Lawrence~H. Landweber}, year = {1969}, title = {Solving sequential conditions by finite-state strategies}, editor = {Ernst~W. Mayr and Claude Puech}, booktitle = {Transactions of the American Mathematical Society}, series = {Transactions of the American Mathematical Society}, volume = {138}, publisher = {American Mathematical Society}, pages = {295--311}, doi = {10.1090/S0002-9947-1969-0280205-0}, url = {https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=1087&context=cstech}, ) @inproceedings(chen2018s, author = {Mingshuai Chen and Martin Fr{\"{a}}nzle and Yangjia Li and Peter~Nazier Mosaad and Naijun Zhan}, year = {2018}, title = {What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction}, editor = {Shuvendu~K. Lahiri and Chao Wang}, booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11138}, publisher = {Springer}, pages = {56--74}, doi = {10.1007/978-3-030-01090-4\_4}, url = {https://moves.rwth-aachen.de/wp-content/uploads/ATVA2018_FULL.pdf}, ) @inproceedings(church1957, author = {Alonso Church}, year = {1957}, title = {Applications of recursive arithmetic to the problem of circuit synthesis}, booktitle = {Summaries of the Summer Institute of Symbolic Logic}, publisher = {Cornell Univ., Ithaca, NY}, pages = {3--50}, doi = {10.2307/2271310}, ) @inproceedings(CimattiGGMT20, author = {Alessandro Cimatti and Luca Geatti and Nicola Gigante and Angelo Montanari and Stefano Tonetta}, year = {2020}, title = {Reactive Synthesis from Extended Bounded Response {LTL} Specifications}, booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa, Israel, September 21-24, 2020}, publisher = {{IEEE}}, pages = {83--92}, doi = {10.34727/2020/ISBN.978-3-85448-042-6\_15}, ) @inproceedings(Ehlers10, author = {R{\"{u}}diger Ehlers}, year = {2010}, title = {Symbolic Bounded Synthesis}, editor = {Tayssir Touili and Byron Cook and Paul~B. Jackson}, booktitle = {Computer Aided Verification, 22nd International Conference, {CAV} 2010, Edinburgh, UK, July 15-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6174}, publisher = {Springer}, pages = {365--379}, doi = {10.1007/978-3-642-14295-6\_33}, ) @inproceedings(FiliotJR09, author = {Emmanuel Filiot and Naiyong Jin and Jean{-}Fran{\c{c}}ois Raskin}, year = {2009}, title = {An Antichain Algorithm for {LTL} Realizability}, editor = {Ahmed Bouajjani and Oded Maler}, booktitle = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, publisher = {Springer}, pages = {263--277}, doi = {10.1007/978-3-642-02658-4\_22}, ) @article(FiliotJR11, author = {Emmanuel Filiot and Naiyong Jin and Jean{-}Fran{\c{c}}ois Raskin}, year = {2011}, title = {Antichains and compositional algorithms for {LTL} synthesis}, journal = {Formal Methods Syst. Des.}, volume = {39}, number = {3}, pages = {261--296}, doi = {10.1007/S10703-011-0115-3}, ) @incollection(Finkbeiner2016, author = {Bernd Finkbeiner}, year = {2016}, title = {Synthesis of Reactive Systems}, editor = {Javier Esparza and Orna Grumberg and Salomon Sickert}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series - {D:} Information and Communication Security}, volume = {45}, publisher = {{IOS} Press}, pages = {72--98}, doi = {10.3233/978-1-61499-627-9-72}, url = {https://finkbeiner.groups.cispa.de/publications/F16.pdf}, ) @inproceedings(FinkbeinerJ12, author = {Bernd Finkbeiner and Swen Jacobs}, year = {2012}, title = {Lazy Synthesis}, editor = {Viktor Kuncak and Andrey Rybalchenko}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7148}, publisher = {Springer}, pages = {219--234}, doi = {10.1007/978-3-642-27940-9\_15}, url = {https://finkbeiner.groups.cispa.de/publications/lazySynthesis.pdf}, ) @inproceedings(Jurdzinski00, author = {Marcin Jurdzinski}, year = {2000}, title = {Small Progress Measures for Solving Parity Games}, editor = {Horst Reichel and Sophie Tison}, booktitle = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1770}, publisher = {Springer}, pages = {290--301}, doi = {10.1007/3-540-46541-3\_24}, url = {https://www.dcs.warwick.ac.uk/~mju/Papers/Jur00-STACS.pdf}, ) @inproceedings(KupfermanV05, author = {Orna Kupferman and Moshe~Y. Vardi}, year = {2005}, title = {Safraless Decision Procedures}, booktitle = {46th Annual {IEEE} Symposium on Foundations of Computer Science {(FOCS} 2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings}, publisher = {{IEEE} Computer Society}, pages = {531--542}, doi = {10.1109/SFCS.2005.66}, ) @inproceedings(MalerNP07, author = {Oded Maler and Dejan Nickovic and Amir Pnueli}, year = {2007}, title = {On Synthesizing Controllers from Bounded-Response Properties}, editor = {Werner Damm and Holger Hermanns}, booktitle = {Computer Aided Verification, 19th International Conference, {CAV} 2007, Berlin, Germany, July 3-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4590}, publisher = {Springer}, pages = {95--107}, doi = {10.1007/978-3-540-73368-3\_12}, ) @inproceedings(maoz2015gr, author = {Shahar Maoz and Jan~Oliver Ringert}, year = {2015}, title = {{GR(1)} synthesis for {LTL} specification patterns}, editor = {Elisabetta~Di Nitto and Mark Harman and Patrick Heymans}, booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September 4, 2015}, publisher = {{ACM}}, pages = {96--106}, doi = {10.1145/2786805.2786824}, url = {https://www.researchgate.net/publication/299909728_GR1_synthesis_for_LTL_specification_patterns}, ) @article(McNaughton93, author = {Robert McNaughton}, year = {1993}, title = {Infinite Games Played on Finite Graphs}, journal = {Ann. Pure Appl. Logic}, volume = {65}, number = {2}, pages = {149--184}, doi = {10.1016/0168-0072(93)90036-D}, ) @inproceedings(PatroumpasS06, author = {Kostas Patroumpas and Timos~K. Sellis}, year = {2006}, title = {Window Specification over Data Streams}, editor = {Torsten Grust and Hagen H{\"{o}}pfner and Arantza Illarramendi and Stefan Jablonski and Marco Mesiti and Sascha M{\"{u}}ller and Paula{-}Lavinia Patranjan and Kai{-}Uwe Sattler and Myra Spiliopoulou and Jef Wijsen}, booktitle = {Current Trends in Database Technology - {EDBT} 2006, {EDBT} 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4254}, publisher = {Springer}, pages = {445--464}, doi = {10.1007/11896548\_35}, url = {https://dl.ifip.org/db/conf/edbtw/edbtw2006/PatroumpasS06.pdf}, ) @inproceedings(piterman2006synthesis, author = {Nir Piterman and Amir Pnueli and Yaniv Sa'ar}, year = {2006}, title = {Synthesis of Reactive(1) Designs}, editor = {E.~Allen Emerson and Kedar~S. Namjoshi}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3855}, publisher = {Springer}, pages = {364--380}, doi = {10.1007/11609773\_24}, url = {https://www.wisdom.weizmann.ac.il/~saar/data/synth.pdf}, ) @inproceedings(PnueliR89, author = {Amir Pnueli and Roni Rosner}, year = {1989}, title = {On the Synthesis of an Asynchronous Reactive Module}, editor = {Giorgio Ausiello and Dezani{-}Ciancaglini, Mariangiola and Simona Ronchi~Della Rocca}, booktitle = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {372}, publisher = {Springer}, pages = {652--671}, doi = {10.1007/BFB0035790}, ) @inproceedings(ScheweF07a, author = {Sven Schewe and Bernd Finkbeiner}, year = {2007}, title = {Bounded Synthesis}, editor = {Kedar~S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura}, booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4762}, publisher = {Springer}, pages = {474--488}, doi = {10.1007/978-3-540-75596-8\_33}, url = {https://link.springer.com/content/pdf/10.1007/s10009-012-0228-z.pdf}, ) @phdthesis(Stockmeyer74, author = {Larry~J. Stockmeyer}, year = {1974}, title = {The complexity of decision problems in automata theory and logic}, school = {Massachusetts Institute of Technology, {USA}}, url = {http://hdl.handle.net/1721.1/15540}, ) @inproceedings(thomas1995, author = {Wolfgang Thomas}, year = {1995}, title = {On the Synthesis of Strategies in Infinite Games}, editor = {Ernst~W. Mayr and Claude Puech}, booktitle = {{STACS} 95, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {900}, publisher = {Springer}, pages = {1--13}, doi = {10.1007/3-540-59042-0\_57}, ) @inproceedings(Thomas09, author = {Wolfgang Thomas}, year = {2009}, title = {Facets of Synthesis: Revisiting Church's Problem}, editor = {Luca de~Alfaro}, booktitle = {Foundations of Software Science and Computational Structures, 12th International Conference, {FOSSACS} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5504}, publisher = {Springer}, pages = {1--14}, doi = {10.1007/978-3-642-00596-1\_1}, ) @inproceedings(ZhuTLPV17, author = {Shufang Zhu and Lucas~M. Tabajara and Jianwen Li and Geguang Pu and Moshe~Y. Vardi}, year = {2017}, title = {A Symbolic Approach to Safety LTL Synthesis}, editor = {Ofer Strichman and Tzoref{-}Brill, Rachel}, booktitle = {Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November 13-15, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10629}, publisher = {Springer}, pages = {147--162}, doi = {10.1007/978-3-319-70389-3\_10}, url = {https://arxiv.org/abs/1709.07495}, ) @article(Zielonka98, author = {Wieslaw Zielonka}, year = {1998}, title = {Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees}, journal = {Theor. Comput. Sci.}, volume = {200}, number = {1-2}, pages = {135--183}, doi = {10.1016/S0304-3975(98)00009-7}, )