@article(AlurEtessamiLaTorrePeled01,
 author       = {Rajeev Alur and Kousha Etessami and Salvatore La Torre 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},
)
@inproceedings(BCHJ09,
 author       = {Roderick Bloem and Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann},
 year         = {2009},
 title        = {Better Quality in Synthesis through Quantitative Objectives},
 editor       = {Ahmed Bouajjani and Oded Maler},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {5643},
 publisher    = {Springer},
 pages        = {140--156},
 url          = {http://dx.doi.org/10.1007/978-3-642-02658-4_14},
)
@inproceedings(Bojanczyk04,
 author       = {Miko\l{}aj Boja\'{n}czyk},
 year         = {2004},
 title        = {A Bounding Quantifier},
 editor       = {Jerzy Marcinkowski and Andrzej Tarlecki},
 booktitle    = {CSL},
 series       = {LNCS},
 volume       = {3210},
 publisher    = {Springer},
 pages        = {41--55},
 doi          = {10.1007/978-3-540-30124-0\_7},
)
@article(Bojanczyk11,
 author       = {Miko\l{}aj Boja\'{n}czyk},
 year         = {2011},
 title        = {Weak {MSO} with the Unbounding Quantifier},
 journal      = {Theory Comput. Syst.},
 volume       = {48},
 number       = {3},
 pages        = {554--576},
 doi          = {10.1007/s00224-010-9279-2},
)
@inproceedings(Bojanczyk14,
 author       = {Mikolaj Bojanczyk},
 year         = {2014},
 title        = {Weak {MSO+U} with Path Quantifiers over Infinite Trees},
 editor       = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias},
 booktitle    = {ICALP (2)},
 series       = {LNCS},
 volume       = {8573},
 publisher    = {Springer},
 pages        = {38--49},
 doi          = {10.1007/978-3-662-43951-7\_4},
)
@inproceedings(BojanczykColcombet06,
 author       = {Miko\l{}aj Boja\'{n}czyk and Thomas Colcombet},
 year         = {2006},
 title        = {Bounds in $\omega$-Regularity},
 booktitle    = {LICS},
 publisher    = {IEEE Computer Society},
 pages        = {285--296},
 doi          = {10.1109/LICS.2006.17},
)
@inproceedings(BojanczykTorunczyk12,
 author       = {Miko\l{}aj Boja\'{n}czyk and Szymon Toru\'{n}czyk},
 year         = {2012},
 title        = {{Weak MSO+U over infinite trees}},
 editor       = {D\IeC{\"u}rr, Christoph and Thomas Wilke},
 booktitle    = {STACS},
 series       = {LIPIcs},
 volume       = {14},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f\IeC{\"u}r Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {648--660},
 doi          = {10.4230/LIPIcs.STACS.2012.648},
)
@inproceedings(BCKN12,
 author       = {Tom{\'a}s Br{\'a}zdil and Krishnendu Chatterjee and Anton\'{\i}n Kucera and Petr Novotn{\'y}},
 year         = {2012},
 title        = {Efficient Controller Synthesis for Consumption Games with Multiple Resource Types},
 editor       = {P. Madhusudan and Sanjit A. Seshia},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {7358},
 publisher    = {Springer},
 pages        = {23--38},
 doi          = {10.1007/978-3-642-31424-7\_8},
)
@inproceedings(CernyChatterjeeHenzingerRadhakrishnaSingh11,
 author       = {{}\u{C}ern{\'y}, Pavol and Krishnendu Chatterjee and Thomas A. Henzinger and Arjun Radhakrishna and Rohit Singh},
 year         = {2011},
 title        = {Quantitative Synthesis for Concurrent Programs},
 editor       = {Ganesh Gopalakrishnan and Shaz Qadeer},
 booktitle    = {CAV},
 series       = {LNCS},
 volume       = {6806},
 publisher    = {Springer},
 pages        = {243--259},
 doi          = {10.1007/978-3-642-22110-1\_20},
)
@inproceedings(ChatterjeeDoyen10,
 author       = {Krishnendu Chatterjee and Laurent Doyen},
 year         = {2010},
 title        = {Energy Parity Games},
 editor       = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and {Meyer auf der Heide}, Friedhelm and Paul G. Spirakis},
 booktitle    = {ICALP (2)},
 series       = {LNCS},
 volume       = {6199},
 publisher    = {Springer},
 pages        = {599--610},
 doi          = {10.1007/978-3-642-14162-1\_50},
)
@article(ChatterjeeHenzingerHorn09,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Florian Horn},
 year         = {2009},
 title        = {Finitary winning in omega-regular games},
 journal      = {ACM Trans. Comput. Log.},
 volume       = {11},
 number       = {1},
 doi          = {10.1145/1614431.1614432},
)
@inproceedings(ChatterjeeHenzingerJurdzinski05,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Marcin Jurdzi{\'n}ski},
 year         = {2005},
 title        = {Mean-Payoff Parity Games},
 booktitle    = {LICS},
 publisher    = {IEEE Computer Society},
 pages        = {178--187},
 doi          = {10.1109/LICS.2005.26},
)
@inproceedings(Colcombet09,
 author       = {Thomas Colcombet},
 year         = {2009},
 title        = {The Theory of Stabilisation Monoids and Regular Cost Functions},
 editor       = {Susanne Albers and Marchetti-Spaccamela, Alberto and Yossi Matias and Sotiris E. Nikoletseas and Wolfgang Thomas},
 booktitle    = {ICALP (3)},
 series       = {LNCS},
 volume       = {5556},
 publisher    = {Springer},
 pages        = {139--150},
 doi          = {10.1007/978-3-642-02930-1\_12},
)
@inproceedings(GiacomoVardi13,
 author       = {{De Giacomo}, Giuseppe and Moshe Y. Vardi},
 year         = {2013},
 title        = {Linear Temporal Logic and Linear Dynamic Logic on Finite Traces},
 editor       = {Francesca Rossi},
 booktitle    = {IJCAI},
 publisher    = {IJCAI/AAAI},
 url          = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997},
)
@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(FaymonvilleZimmermann15,
 author       = {Peter Faymonville and Martin Zimmermann},
 year         = {2015},
 title        = {Parametric Linear Dynamic Logic (full version)},
 journal      = {CoRR},
 volume       = {abs/1504.03880},
 url          = {http://arxiv.org/abs/1504.03880},
 note         = {Under submission},
)
@article(FijalkowZimmermann14,
 author       = {Nathana{\"{e}}l Fijalkow and Martin Zimmermann},
 year         = {2014},
 title        = {Parity and Streett Games with Costs},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 number       = {2},
 doi          = {10.2168/LMCS-10(2:14)2014},
)
@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(LeuckerSanchez07,
 author       = {Martin Leucker and C\'{e}sar S\'{a}nchez},
 year         = {2007},
 title        = {Regular Linear Temporal Logic},
 editor       = {Cliff Jones and Zhiming Liu and Jim Woodcock},
 booktitle    = {ICTAC'07},
 series       = {LNCS},
 volume       = {4711},
 publisher    = {Springer},
 pages        = {291--305},
 doi          = {10.1007/978-3-540-75292-9\_20},
)
@inproceedings(MogaveroMS13,
 author       = {Fabio Mogavero and Aniello Murano and Loredana Sorrentino},
 year         = {2013},
 title        = {On Promptness in Parity Games},
 editor       = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov},
 booktitle    = {LPAR},
 series       = {LNCS},
 volume       = {8312},
 publisher    = {Springer},
 pages        = {601--618},
 doi          = {10.1007/978-3-642-45221-5\_40},
)
@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       = {Giorgio Ausiello and Dezani-Ciancaglini, Mariangiola and Simona Ronchi Della Rocca},
 booktitle    = {ICALP},
 series       = {LNCS},
 volume       = {372},
 publisher    = {Springer},
 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},
 series       = {LNCS},
 volume       = {4855},
 publisher    = {Springer},
 pages        = {449--460},
 doi          = {10.1007/978-3-540-77050-3\_37},
)
@article(SistlaClarke85,
 author       = {A. Prasad Sistla and Edmund M. Clarke},
 year         = {1985},
 title        = {The Complexity of Propositional Linear Temporal Logics},
 journal      = {J. ACM},
 volume       = {32},
 number       = {3},
 pages        = {733--749},
 doi          = {10.1145/3828.3837},
)
@inproceedings(Boom11,
 author       = {{Vanden Boom}, Michael},
 year         = {2011},
 title        = {Weak Cost Monadic Logic over Infinite Trees},
 editor       = {Filip Murlak and Piotr Sankowski},
 booktitle    = {MFCS},
 series       = {LNCS},
 volume       = {6907},
 publisher    = {Springer},
 pages        = {580--591},
 doi          = {10.1007/978-3-642-22993-0\_52},
)
@inproceedings(Vardi11,
 author       = {Moshe Y. Vardi},
 year         = {2011},
 title        = {The rise and fall of {LTL}},
 editor       = {Giovanna D'Agostino and Salvatore La Torre},
 booktitle    = {GandALF},
 series       = {{EPTCS}},
 volume       = {54},
)
@article(VardiWolper94,
 author       = {Moshe Y. Vardi and Pierre Wolper},
 year         = {1994},
 title        = {Reasoning About Infinite Computations},
 journal      = {Inf. Comput.},
 volume       = {115},
 number       = {1},
 pages        = {1--37},
 doi          = {10.1006/inco.1994.1092},
)
@article(Wolper1983,
 author       = {Pierre Wolper},
 year         = {1983},
 title        = {Temporal Logic Can be More Expressive},
 journal      = {Information and Control},
 volume       = {56},
 number       = {1\IeC{\textendash}2},
 pages        = {72 -- 99},
 doi          = {10.1016/S0019-9958(83)80051-5},
)
@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},
)
@article(Zimmermann15,
 author       = {Martin Zimmermann},
 year         = {2015},
 title        = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than {LTL} (full version)},
 journal      = {CoRR},
 volume       = {abs/1505.06953v4},
 url          = {http://arxiv.org/abs/1505.06953v4},
)