„Linear Temporal Logic“

Suchergebnisse

1.000+ Treffer

• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking
  Piribauer, Jakob ; Baier, Christel ; Bertrand, Nathalie ; Sankur, Ocan 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Alternative Automata-based Approaches to Probabilistic Model Checking
  Müller, David ; Baier, Christel ; Esparza, Javier 2019 Technische Universität Dresden
• A Unified Translation of Linear Temporal Logic to ω-Automata
  Sickert, Salomon ; Esparza Estaun, Francisco Javier ; Kupferman, Orna 2019 Universitätsbibliothek der TU München
• Compositional Concurrent Program Verification with RGITL
  Tofan, Bogdan ; Reif, Wolfgang 2014 Universität Augsburg
• Dynamische Modellanalyse von Metamodellen mit operationaler Semantik
  Soden, Michael ; Fischer, Joachim ; Schlingloff, Holger ; Prinz, Andreas 2015 Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
• Frontiers of Combining Systems – 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21–24, 2015. Proceedings
  Fontaine, Pascal ; Ringeissen, Christophe ; Schmidt, Renate 2015 Springer International Publishing
• Frontiers of Combining Systems – 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Proving linearizability with temporal logic
  Bäumler, Simon ; Schellhorn, Gerhard ; Tofan, Bogdan ; Reif, Wolfgang 2011 Universität Augsburg
• Backdoors for linear temporal logic
  Meier, Arne ; Ordyniak, Sebastian ; Sridharan, Ramanujan ; Schindler, Irena 2017 Gottfried Wilhelm Leibniz Universität Hannover
• Linear Distances between Markov Chains
  Daca, Przemyslaw ; Henzinger, Thomas ; Křetínský, Jan ; Petrov, Tatjana 2016 Bibliothek der Universität Konstanz
• Runtime Verification of Railway Applications with Extended Live Sequence Charts
  Chai, Ming 2016 Shaker
• CPD $$_{\textrm{LTLf}}$$ : a linear temporal logic over finite traces guided model checking tool
  Zeng, Xiangqi ; Wang, Meng ; Wang, Miao ; Lu, Xu
• PDDL to DFA: A Symbolic Transformation for Effective Reasoning
  De Giacomo, Giuseppe ; Di Stasio, Antonio ; Parretti, Gianmarco 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Metric Linear-Time Temporal Logic with Strict First-Time Semantics
  Alsmann, Eric ; Lange, Martin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Introduction to First-Order Linear Temporal Logic (Invited Talk)
  Gigante, Nicola 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk)
  Zacharjaščev, Michail V. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• LeanLTL: A Unifying Framework for Linear Temporal Logics in Lean (Short Paper)
  Vin, Eric ; Miller, Kyle A. ; Fremont, Daniel J. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logical Foundations of Computer Science – International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
  Artemov, Sergej N. ; Nerode, Anil 2018 Springer International Publishing
• Topology-aware planning under linear temporal logic constraints
  Guralnik, Dan P. ; Wang, Yu ; Dixon, Warren E.