@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(gameswithboxes,
 author       = {Rajeev Alur and {La Torre}, Salvatore and P. Madhusudan},
 year         = {2003},
 title        = {Playing Games with Boxes and Diamonds},
 editor       = {Roberto M. Amadio and Denis Lugiez},
 booktitle    = {{CONCUR} 2003},
 series       = {LNCS},
 volume       = {2761},
 publisher    = {Springer},
 pages        = {127--141},
 doi          = {10.1007/978-3-540-45187-7\_8},
)
@article(AlurLatorre04,
 author       = {Rajeev Alur and Salvatore La Torre},
 year         = {2004},
 title        = {Deterministic generators and games for {LTL} fragments},
 journal      = {ACM Trans. Comput. Log.},
 volume       = {5},
 number       = {1},
 pages        = {1--25},
 doi          = {10.1145/963927.963928},
)
@book(BaierKatoen08,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of Model Checking},
 publisher    = {The MIT Press},
)
@inproceedings(DBLP:conf/cav/BloemCGHJ10,
 author       = {Roderick Bloem and Krishnendu Chatterjee and Karin Greimel and Thomas A. Henzinger and Barbara Jobstmann},
 year         = {2010},
 title        = {Robustness in the Presence of Liveness},
 booktitle    = {{CAV} 2010},
 series       = {LNCS},
 volume       = {6174},
 publisher    = {Springer},
 pages        = {410--424},
 doi          = {10.1007/978-3-642-14295-6\_36},
)
@inproceedings(DallalNeiderTabuada16,
 author       = {Eric Dallal and Daniel Neider and Paulo Tabuada},
 year         = {2016},
 title        = {Synthesis of safety controllers robust to unmodeled intermittent disturbances},
 booktitle    = {CDC 2016},
 pages        = {7425--7430},
 doi          = {10.1109/CDC.2016.7799416},
)
@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(DBLP:conf/formats/DonzeM10,
 author       = {Alexandre Donz{\'{e}} and Oded Maler},
 year         = {2010},
 title        = {Robust Satisfaction of Temporal Logic over Real-Valued Signals},
 editor       = {Krishnendu Chatterjee and Thomas A. Henzinger},
 booktitle    = {{FORMATS} 2010},
 series       = {LNCS},
 volume       = {6246},
 publisher    = {Springer},
 pages        = {92--106},
 doi          = {10.1007/978-3-642-15297-9\_9},
)
@inproceedings(DBLP:conf/acsd/DoyenHLN10,
 author       = {Laurent Doyen and Thomas A. Henzinger and Axel Legay and Dejan Nickovic},
 year         = {2010},
 title        = {Robustness of Sequential Circuits},
 editor       = {Lu{\'{\i}}s Gomes and Victor Khomenko and Jo{\~{a}}o M. Fernandes},
 booktitle    = {{ACSD} 2010},
 publisher    = {{IEEE} Computer Society},
 pages        = {77--84},
 doi          = {10.1109/ACSD.2010.26},
)
@book(EisnerFismanPSL,
 author       = {C. Eisner and D. Fisman},
 year         = {2006},
 title        = {A Practical Introduction to PSL},
 series       = {Integrated Circuits and Systems},
 publisher    = {Springer},
 doi          = {10.1007/978-0-387-36123-9},
)
@article(DBLP:journals/tcs/FainekosP09,
 author       = {Georgios E. Fainekos and George J. Pappas},
 year         = {2009},
 title        = {Robustness of temporal logic specifications for continuous-time signals},
 journal      = {Theor. Comput. Sci.},
 volume       = {410},
 number       = {42},
 pages        = {4262--4291},
 doi          = {10.1016/j.tcs.2009.06.021},
)
@article(FaymonvilleZimmermann17,
 author       = {Peter Faymonville and Martin Zimmermann},
 year         = {2017},
 title        = {Parametric Linear Dynamic Logic},
 journal      = {Inf. Comput.},
 volume       = {253},
 pages        = {237--256},
 doi          = {10.1016/j.ic.2016.07.009},
)
@inproceedings(Fix08,
 author       = {Limor Fix},
 year         = {2008},
 title        = {Fifteen Years of Formal Property Verification in Intel},
 editor       = {Orna Grumberg and Helmut Veith},
 booktitle    = {25 Years of Model Checking - History, Achievements, Perspectives},
 series       = {LNCS},
 volume       = {5000},
 publisher    = {Springer},
 pages        = {139--144},
 doi          = {10.1007/978-3-540-69850-0\_8},
)
@proceedings(GraedelThomasWilke02,
 editor       = {Erich Gr{\"a}del 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},
 doi          = {10.1007/3-540-36387-4},
)
@article(Koymans90,
 author       = {Ron Koymans},
 year         = {1990},
 title        = {Specifying real-time properties with metric temporal logic},
 journal      = {Real-Time Systems},
 volume       = {2},
 pages        = {255--299},
 doi          = {10.1007/BF01995674},
)
@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 B. Jones and Zhiming Liu and Jim Woodcock},
 booktitle    = {ICTAC 2007},
 series       = {LNCS},
 volume       = {4711},
 publisher    = {Springer},
 pages        = {291--305},
 doi          = {10.1007/978-3-540-75292-9\_20},
)
@inproceedings(DBLP:conf/rtss/MajumdarS09,
 author       = {Rupak Majumdar and Indranil Saha},
 year         = {2009},
 title        = {Symbolic Robustness Analysis},
 editor       = {Theodore P. Baker},
 booktitle    = {{RTSS} 2009},
 publisher    = {{IEEE} Computer Society},
 pages        = {355--363},
 doi          = {10.1109/RTSS.2009.17},
)
@article(fullversion,
 author       = {Daniel Neider and Alexander Weinert and Martin Zimmermann},
 year         = {2018},
 title        = {Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free (full version)},
 journal      = {arXiv},
 volume       = {1808.09028},
 url          = {http://arxiv.org/abs/1808.09028},
)
@inproceedings(NeiderWeinertZimmermann18,
 author       = {Daniel Neider and Alexander Weinert and Martin Zimmermann},
 year         = {2018},
 title        = {Synthesizing Optimally Resilient Controllers},
 editor       = {Dan R. Ghica and Achim Jung},
 booktitle    = {CSL 2018},
 series       = {LIPIcs},
 volume       = {119},
 publisher    = {Schloss Dagstuhl - LZI},
 pages        = {34:1--34:17},
 doi          = {10.4230/LIPIcs.CSL.2018.34},
)
@inproceedings(Pnueli77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The temporal logic of programs},
 booktitle    = {FOCS 1977},
 publisher    = {IEEE},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@article(DBLP:journals/tac/TabuadaCRM14,
 author       = {Paulo Tabuada and Sina Yamac Caliskan and Matthias Rungger and Rupak Majumdar},
 year         = {2014},
 title        = {Towards Robustness for Cyber-Physical Systems},
 journal      = {{IEEE} Trans. Automat. Contr.},
 volume       = {59},
 number       = {12},
 pages        = {3151--3163},
 doi          = {10.1109/TAC.2014.2351632},
)
@inproceedings(TabuadaNeider16,
 author       = {Paulo Tabuada and Daniel Neider},
 year         = {2016},
 title        = {Robust Linear Temporal Logic},
 editor       = {Jean{-}Marc Talbot and Laurent Regnier},
 booktitle    = {{CSL} 2016},
 series       = {LIPIcs},
 volume       = {62},
 publisher    = {Schloss Dagstuhl - LZI},
 pages        = {10:1--10:21},
 doi          = {10.4230/LIPIcs.CSL.2016.10},
)
@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 2011},
 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(Wolper83,
 author       = {Pierre Wolper},
 year         = {1983},
 title        = {Temporal Logic Can Be More Expressive},
 journal      = {Information and Control},
 volume       = {56},
 number       = {1/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(Zimmermann18,
 author       = {Martin Zimmermann},
 year         = {2018},
 title        = {Parameterized linear temporal logics meet costs: still not costlier than {LTL}},
 journal      = {Acta Inf.},
 volume       = {55},
 number       = {2},
 pages        = {129--152},
 doi          = {10.1007/s00236-016-0279-9},
)