@inproceedings(AbadiLamportWolper89,
 author       = {Mart{\'{\i}}n Abadi and Leslie Lamport and Pierre Wolper},
 year         = {1989},
 title        = {Realizable and Unrealizable Specifications of Reactive Systems},
 editor       = {Ausiello},
 pages        = {1--17},
 doi          = {10.1007/BFb0035748},
)
@article(AlurEtessamiLaTorrePeled01,
 author       = {Rajeev Alur and Kousha Etessami and {La Torre}, Salvatore and Doron Peled},
 year         = {2001},
 title        = {Parametric temporal logic for ``model measuring''},
 journal      = {ACM Trans. Comput. Log.},
 volume       = {2},
 number       = {3},
 pages        = {388--407},
 doi          = {10.1145/377978.377990},
)
@proceedings(DBLP:conf/icalp/1989,
 editor       = {Giorgio Ausiello and Dezani-Ciancaglini, Mariangiola and Simona Ronchi Della Rocca},
 year         = {1989},
 title        = {ICALP 89},
 series       = {LNCS},
 volume       = {372},
 publisher    = {Springer},
)
@inproceedings(BohyBruyereFiliotJinRaskin,
 author       = {Aaron Bohy and V{\'e}ronique Bruy{\`e}re and Emmanuel Filiot and Naiyong Jin and Jean-Fran\c{c}ois Raskin},
 year         = {2012},
 title        = {Acacia+, a Tool for {LTL} Synthesis},
 editor       = {P. Madhusudan and Sanjit A. Seshia},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {7358},
 publisher    = {Springer},
 pages        = {652--657},
 doi          = {10.1007/978-3-642-31424-7\_45},
)
@article(Ehlers11e,
 author       = {R{\"u}diger Ehlers},
 year         = {2012},
 title        = {Symbolic Bounded Synthesis},
 journal      = {Formal Methods in System Design},
 volume       = {40},
 number       = {2},
 pages        = {232--262},
 doi          = {10.1007/s10703-011-0137-x},
)
@inproceedings(FaymonvilleFinkbeinerRabeTentrup13,
 author       = {Peter Faymonville and Bernd Finkbeiner and Markus N. Rabe and Leander Tentrup},
 year         = {2015},
 title        = {Encodings of Reactive Synthesis},
 booktitle    = {Quantify 2015},
 url          = {http://fmv.jku.at/quantify15/Faymonville-et-al-QUANTIFY2015.pdf},
)
@inproceedings(FaymonvilleZimmermann14,
 author       = {Peter Faymonville and Martin Zimmermann},
 year         = {2014},
 title        = {Parametric Linear Dynamic Logic},
 editor       = {Adriano Peron and Carla Piazza},
 booktitle    = {GandALF},
 series       = {{EPTCS}},
 volume       = {161},
 pages        = {60--73},
 doi          = {10.4204/EPTCS.161.8},
)
@article(FiliotJinRaskin11,
 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 in System Design},
 volume       = {39},
 number       = {3},
 pages        = {261--296},
 doi          = {10.1007/s10703-011-0115-3},
)
@article(FinkbeinerSchewe13,
 author       = {Bernd Finkbeiner and Sven Schewe},
 year         = {2013},
 title        = {Bounded synthesis},
 journal      = {{STTT}},
 volume       = {15},
 number       = {5-6},
 pages        = {519--539},
 doi          = {10.1007/s10009-012-0228-z},
)
@proceedings(GraedelThomasWilke02,
 editor       = {Erich Gr\"adel and Wolfgang Thomas and Thomas Wilke},
 year         = {2002},
 title        = {Automata, Logics, and Infinite Games: A Guide to Current Research},
 series       = {LNCS},
 volume       = {2500},
 publisher    = {Springer},
)
@inproceedings(JobstmannBloem06,
 author       = {Barbara Jobstmann and Roderick Bloem},
 year         = {2006},
 title        = {Optimizations for {LTL} Synthesis},
 booktitle    = {FMCAD},
 publisher    = {IEEE Computer Society},
 pages        = {117--124},
 doi          = {10.1109/FMCAD.2006.22},
)
@inproceedings(KupfermanPitermanVardi06,
 author       = {Orna Kupferman and Nir Piterman and Moshe Y. Vardi},
 year         = {2006},
 title        = {Safraless Compositional Synthesis},
 editor       = {Thomas Ball and Robert B. Jones},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {4144},
 publisher    = {Springer},
 pages        = {31--44},
 doi          = {10.1007/11817963\_6},
)
@article(KupfermanPitermanVardi09,
 author       = {Orna Kupferman and Nir Piterman and Moshe Y. Vardi},
 year         = {2009},
 title        = {From liveness to promptness},
 journal      = {Formal Methods in System Design},
 volume       = {34},
 number       = {2},
 pages        = {83--103},
 doi          = {10.1007/s10703-009-0067-z},
)
@inproceedings(KupfermanVardi05,
 author       = {Orna Kupferman and Moshe Y. Vardi},
 year         = {2005},
 title        = {Safraless Decision Procedures},
 booktitle    = {FOCS},
 publisher    = {IEEE Computer Society},
 pages        = {531--542},
 doi          = {10.1109/SFCS.2005.66},
)
@inproceedings(Pnueli77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The Temporal Logic of Programs},
 booktitle    = {FOCS 1977},
 publisher    = {{IEEE} Computer Society},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@inproceedings(PnueliRosner89,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1989},
 title        = {On the Synthesis of a Reactive Module},
 booktitle    = {POPL},
 pages        = {179--190},
 doi          = {10.1145/75277.75293},
)
@inproceedings(PnueliRosner89a,
 author       = {Amir Pnueli and Roni Rosner},
 year         = {1989},
 title        = {On the Synthesis of an Asynchronous Reactive Module},
 editor       = {Ausiello},
 pages        = {652--671},
 doi          = {10.1007/BFb0035790},
)
@inproceedings(Schewe07,
 author       = {Sven Schewe},
 year         = {2007},
 title        = {Solving Parity Games in Big Steps},
 editor       = {Vikraman Arvind and Sanjiva Prasad},
 booktitle    = {FSTTCS 2007},
 series       = {LNCS},
 volume       = {4855},
 publisher    = {Springer},
 pages        = {449--460},
 doi          = {10.1007/978-3-540-77050-3\_37},
)
@article(Zimmermann13,
 author       = {Martin Zimmermann},
 year         = {2013},
 title        = {Optimal bounds in parametric {LTL} games},
 journal      = {Theor. Comput. Sci.},
 volume       = {493},
 pages        = {30--45},
 doi          = {10.1016/j.tcs.2012.07.039},
)
@inproceedings(Zimmermann15a,
 author       = {Martin Zimmermann},
 year         = {2015},
 title        = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than {LTL}},
 editor       = {Javier Esparza and Enrico Tronci},
 booktitle    = {{GandALF} 2015},
 series       = {{EPTCS}},
 volume       = {193},
 pages        = {144--157},
 doi          = {10.4204/EPTCS.193.11},
)