Rajeev Alur
Kousha Etessami
Salvatore La Torre
Doron Peled
2001
Parametric Temporal Logic for ``Model Measuring''
ACM Trans. Comput. Log.
2
3
388–407
10.1145/377978.377990
Rajeev Alur
Salvatore La Torre
P. Madhusudan
2003
Playing Games with Boxes and Diamonds
Roberto M. Amadio
Denis Lugiez
CONCUR 2003
LNCS
2761
Springer
127–141
10.1007/978-3-540-45187-7_8
Rajeev Alur
Salvatore La Torre
2004
Deterministic generators and games for LTL fragments
ACM Trans. Comput. Log.
5
1
1–25
10.1145/963927.963928
Christel Baier
Joost-Pieter Katoen
2008
Principles of Model Checking
The MIT Press
Roderick Bloem
Krishnendu Chatterjee
Karin Greimel
Thomas A. Henzinger
Barbara Jobstmann
2010
Robustness in the Presence of Liveness
CAV 2010
LNCS
6174
Springer
410–424
10.1007/978-3-642-14295-6_36
Eric Dallal
Daniel Neider
Paulo Tabuada
2016
Synthesis of safety controllers robust to unmodeled intermittent disturbances
CDC 2016
7425–7430
10.1109/CDC.2016.7799416
Giuseppe De Giacomo
Moshe Y. Vardi
2013
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces
Francesca Rossi
IJCAI
IJCAI/AAAI
http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997
Alexandre Donzé
Oded Maler
2010
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Krishnendu Chatterjee
Thomas A. Henzinger
FORMATS 2010
LNCS
6246
Springer
92–106
10.1007/978-3-642-15297-9_9
Laurent Doyen
Thomas A. Henzinger
Axel Legay
Dejan Nickovic
2010
Robustness of Sequential Circuits
Luís Gomes
Victor Khomenko
João M. Fernandes
ACSD 2010
IEEE Computer Society
77–84
10.1109/ACSD.2010.26
C. Eisner
D. Fisman
2006
A Practical Introduction to PSL
Integrated Circuits and Systems
Springer
10.1007/978-0-387-36123-9
Georgios E. Fainekos
George J. Pappas
2009
Robustness of temporal logic specifications for continuous-time signals
Theor. Comput. Sci.
410
42
4262–4291
10.1016/j.tcs.2009.06.021
Peter Faymonville
Martin Zimmermann
2017
Parametric Linear Dynamic Logic
Inf. Comput.
253
237–256
10.1016/j.ic.2016.07.009
Limor Fix
2008
Fifteen Years of Formal Property Verification in Intel
Orna Grumberg
Helmut Veith
25 Years of Model Checking - History, Achievements, Perspectives
LNCS
5000
Springer
139–144
10.1007/978-3-540-69850-0_8
Erich Grädel
Wolfgang Thomas
Thomas Wilke
2002
Automata, Logics, and Infinite Games: A Guide to Current Research
LNCS
2500
Springer
10.1007/3-540-36387-4
Ron Koymans
1990
Specifying real-time properties with metric temporal logic
Real-Time Systems
2
255–299
10.1007/BF01995674
Orna Kupferman
Nir Piterman
Moshe Y. Vardi
2009
From Liveness to Promptness
Formal Methods in System Design
34
2
83–103
10.1007/s10703-009-0067-z
Martin Leucker
César Sánchez
2007
Regular Linear Temporal Logic
Cliff B. Jones
Zhiming Liu
Jim Woodcock
ICTAC 2007
LNCS
4711
Springer
291–305
10.1007/978-3-540-75292-9_20
Rupak Majumdar
Indranil Saha
2009
Symbolic Robustness Analysis
Theodore P. Baker
RTSS 2009
IEEE Computer Society
355–363
10.1109/RTSS.2009.17
Daniel Neider
Alexander Weinert
Martin Zimmermann
2018
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free (full version)
arXiv
1808.09028
http://arxiv.org/abs/1808.09028
Daniel Neider
Alexander Weinert
Martin Zimmermann
2018
Synthesizing Optimally Resilient Controllers
Dan R. Ghica
Achim Jung
CSL 2018
LIPIcs
119
Schloss Dagstuhl - LZI
34:1–34:17
10.4230/LIPIcs.CSL.2018.34
Amir Pnueli
1977
The temporal logic of programs
FOCS 1977
IEEE
46–57
10.1109/SFCS.1977.32
Paulo Tabuada
Sina Yamac Caliskan
Matthias Rungger
Rupak Majumdar
2014
Towards Robustness for Cyber-Physical Systems
IEEE Trans. Automat. Contr.
59
12
3151–3163
10.1109/TAC.2014.2351632
Paulo Tabuada
Daniel Neider
2016
Robust Linear Temporal Logic
Jean-Marc Talbot
Laurent Regnier
CSL 2016
LIPIcs
62
Schloss Dagstuhl - LZI
10:1–10:21
10.4230/LIPIcs.CSL.2016.10
Moshe Y. Vardi
2011
The rise and fall of LTL
Giovanna D'Agostino
Salvatore La Torre
GandALF 2011
EPTCS
54
Moshe Y. Vardi
Pierre Wolper
1994
Reasoning About Infinite Computations
Inf. Comput.
115
1
1–37
10.1006/inco.1994.1092
Pierre Wolper
1983
Temporal Logic Can Be More Expressive
Information and Control
56
1/2
72–99
10.1016/S0019-9958(83)80051-5
Martin Zimmermann
2013
Optimal Bounds in Parametric LTL Games
Theor. Comput. Sci.
493
30–45
10.1016/j.tcs.2012.07.039
Martin Zimmermann
2018
Parameterized linear temporal logics meet costs: still not costlier than LTL
Acta Inf.
55
2
129–152
10.1007/s00236-016-0279-9