References

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