@article(alpern1985oct,
 author       = {Bowen Alpern and Fred B. Schneider},
 year         = {1985},
 title        = {{Defining liveness}},
 journal      = {Inf. Process. Lett.},
 volume       = {21},
 number       = {4},
 pages        = {181--185},
 doi          = {10.1016/0020-0190(85)90056-0},
)
@inproceedings(DBLP:conf/lpar/BaarirD15,
 author       = {Souheib Baarir and Duret{-}Lutz, Alexandre},
 year         = {2015},
 title        = {{SAT}-Based Minimization of Deterministic $\omega$ -Automata},
 booktitle    = {20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-20)},
 pages        = {79--87},
 doi          = {10.1007/978-3-662-48899-7\_6},
)
@incollection(Bloem2018,
 author       = {Roderick Bloem and Krishnendu Chatterjee and Barbara Jobstmann},
 year         = {2018},
 title        = {Graph Games and Reactive Synthesis},
 booktitle    = {Handbook of Model Checking},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {921--962},
 doi          = {10.1007/978-3-319-10575-8\_27},
)
@inproceedings(DBLP:conf/atva/BloemEK15,
 author       = {Roderick Bloem and R{\"{u}}diger Ehlers and Robert K{\"{o}}nighofer},
 year         = {2015},
 title        = {Cooperative Reactive Synthesis},
 editor       = {Bernd Finkbeiner and Geguang Pu and Lijun Zhang},
 booktitle    = {Automated Technology for Verification and Analysis ({ATVA})},
 series       = {Lecture Notes in Computer Science},
 volume       = {9364},
 publisher    = {Springer},
 pages        = {394--410},
 doi          = {10.1007/978-3-319-24953-7\_29},
)
@book(Borodin1998May,
 author       = {Allan Borodin and El-Yaniv, Ran},
 year         = {1998},
 title        = {{Online computation and competitive analysis}},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, England, UK},
)
@article(DBLP:journals/acta/BrenguierRS17,
 author       = {Romain Brenguier and Jean{-}Fran{\c{c}}ois Raskin and Ocan Sankur},
 year         = {2017},
 title        = {Assume-admissible synthesis},
 journal      = {Acta Informatica},
 volume       = {54},
 number       = {1},
 pages        = {41--83},
 doi          = {10.1007/s00236-016-0273-2},
)
@article(Chatterjee2020,
 author       = {Krishnendu Chatterjee and K{\"{o}}{\ss}ler, Alexander and Ulrich Schmid},
 year         = {2020},
 title        = {{Automated analysis of real-time scheduling using graph games}},
 journal      = {Proceedings of the 16th international conference on Hybrid systems: computation and control},
 pages        = {163--172},
 doi          = {10.1145/2461328.2461356},
)
@inproceedings(ryana_lassos,
 author       = {Rayna Dimitrova and Bernd Finkbeiner and Hazem Torfah},
 year         = {2019},
 title        = {Synthesizing Approximate Implementations for Unrealizable Specifications},
 editor       = {Isil Dillig and Serdar Tasiran},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {241--258},
 doi          = {10.1007/978-3-030-25540-4\_13},
)
@inproceedings(DBLP:conf/sat/Ehlers10,
 author       = {R{\"{u}}diger Ehlers},
 year         = {2010},
 title        = {Minimising Deterministic {B}{\"{u}}chi Automata Precisely Using {SAT} Solving},
 booktitle    = {13th International Conference on Theory and Applications of Satisfiability Testing - ({SAT})},
 pages        = {326--332},
 doi          = {10.1007/978-3-642-14186-7\_28},
)
@inproceedings(DBLP:conf/nfm/Ehlers11,
 author       = {R{\"{u}}diger Ehlers},
 year         = {2011},
 title        = {Generalized {R}abin(1) Synthesis with Applications to Robust System Synthesis},
 booktitle    = {{NASA} Formal Methods - Third International Symposium, ({NFM})},
 pages        = {101--115},
 doi          = {10.1007/978-3-642-20398-5\_9},
)
@inproceedings(EhlersKB15,
 author       = {R{\"{u}}diger Ehlers and Robert K{\"{o}}nighofer and Roderick Bloem},
 year         = {2015},
 title        = {Synthesizing cooperative reactive mission plans},
 booktitle    = {2015 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, ({IROS})},
 pages        = {3478--3485},
 doi          = {10.1109/IROS.2015.7353862},
)
@inproceedings(DBLP:conf/hybrid/EhlersT14,
 author       = {R{\"{u}}diger Ehlers and Ufuk Topcu},
 year         = {2014},
 title        = {Resilience to intermittent assumption violations in reactive synthesis},
 booktitle    = {17th International Conference on Hybrid Systems: Computation and Control (HSCC)},
 pages        = {203--212},
 doi          = {10.1145/2562059.2562128},
)
@article(DBLP:journals/acta/HunterPR17,
 author       = {Paul Hunter and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2017},
 title        = {Reactive synthesis without regret},
 journal      = {Acta Informatica},
 volume       = {54},
 number       = {1},
 pages        = {3--39},
 doi          = {10.1007/s00236-016-0268-z},
)
@inproceedings(DBLP:conf/fossacs/KingKV01,
 author       = {Valerie King and Orna Kupferman and Moshe Y. Vardi},
 year         = {2001},
 title        = {On the Complexity of Parity Word Automata},
 booktitle    = {Foundations of Software Science and Computation Structures, 4th International Conference ({FOSSACS})},
 pages        = {276--286},
 doi          = {10.1007/3-540-45315-6\_18},
)
@article(Kress-Gazit2018May,
 author       = {Kress-Gazit, Hadas and Morteza Lahijanian and Vasumathi Raman},
 year         = {2018},
 title        = {{Synthesis for Robots: Guarantees and Feedback for Robot Behavior}},
 journal      = {Annu. Rev. Control Rob. Auton. Syst.},
 volume       = {1},
 number       = {1},
 pages        = {211--236},
 doi          = {10.1146/annurev-control-060117-104838},
)
@article(boundedtemp,
 author       = {Orna Kupferman and Yoad Lustig and Moshe Vardi and Mihalis Yannakakis},
 year         = {2011},
 title        = {Temporal Synthesis for Bounded Systems and Environments},
 journal      = {Symposium on Theoretical Aspects of Computer Science (STACS2011)},
 volume       = {9},
 doi          = {10.4230/LIPIcs.STACS.2011.615},
)
@inproceedings(DBLP:conf/tacas/MajumdarPS19,
 author       = {Rupak Majumdar and Nir Piterman and Anne{-}Kathrin Schmuck},
 year         = {2019},
 title        = {Environmentally-Friendly {GR(1)} Synthesis},
 booktitle    = {25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ({TACAS})},
 pages        = {229--246},
 doi          = {10.1007/978-3-030-17465-1\_13},
)
@incollection(Neider2011Oct,
 author       = {Daniel Neider},
 year         = {2011},
 title        = {{Small Strategies for Safety Games}},
 booktitle    = {{Automated Technology for Verification and Analysis}},
 publisher    = {Springer},
 address      = {Berlin, Germany},
 pages        = {306--320},
 doi          = {10.1007/978-3-642-24372-1\_22},
)
@article(Papadimitriou2020,
 author       = {Christos H. Papadimitriou and Mihalis Yannakakis},
 year         = {2020},
 title        = {On complexity as bounded rationality},
 journal      = {Proceedings of the twenty-sixth annual ACM symposium on Theory of Computing},
 pages        = {726--733},
 doi          = {10.1145/195058.195445},
)
@article(DBLP:journals/jair/PistoreV07,
 author       = {Marco Pistore and Moshe Y. Vardi},
 year         = {2007},
 title        = {The Planning Spectrum - One, Two, Three, Infinity},
 journal      = {J. Artif. Intell. Res.},
 volume       = {30},
 pages        = {101--132},
 doi          = {10.1613/jair.1909},
)
@inproceedings(bounedsynthesis,
 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},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {474--488},
 doi          = {10.1007/s10009-012-0228-z},
)