Results 11 to 20 of about 430,787 (365)
Backdoors for Linear Temporal Logic. [PDF]
Algorithmica, 2019 In the present paper, we introduce the backdoor set approach into the field of temporal logic for the global fragment of linear temporal logic. We study the parameterized complexity of the satisfiability problem parameterized by the size of the backdoor.
Meier A +3 more
europepmc +9 more sources
Linear-time Temporal Logic guided Greybox Fuzzing [PDF]
Proceedings of the 44th International Conference on Software Engineering, 2021 Software model checking as well as runtime verification are verification techniques which are widely used for checking temporal properties of software systems.
Ruijie Meng +4 more
semanticscholar +7 more sources
Robust Linear Temporal Logic [PDF]
Annual Conference for Computer Science Logic, 2015 Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guarantees, it is less clear how to make this intuitive notion of robustness ...
Neider, Daniel, Tabuada, Paulo
core +6 more sources
Maximum Realizability for Linear Temporal Logic Specifications [PDF]
Automated Technology for Verification and Analysis, 2018 Automatic synthesis from linear temporal logic (LTL) specifications is widely used in robotic motion planning, control of autonomous systems, and load distribution in power networks.
Rayna Dimitrova +2 more
semanticscholar +6 more sources
Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds [PDF]
Logical Methods in Computer Science, 2012 Path checking, the special case of the model checking problem where the model under consideration is a single path, plays an important role in monitoring, testing, and verification. We prove that for linear-time temporal logic (LTL), path checking can be
Lars Kuhtz, Bernd Finkbeiner
doaj +5 more sources
Standpoint Linear Temporal Logic [PDF]
Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023 Many complex scenarios require the coordination of agents holding different points of view, possibly cooperating and not necessarily agreeing. For this reason, standpoint logic (SL) has been recently introduced in the context of knowledge integration ...
N. Gigante +2 more
semanticscholar +3 more sources
Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version) [PDF]
International Joint Conference on Artificial Intelligence, 2022 This paper studies Linear Temporal Logic over Finite Traces (LTLf) where proposition letters are replaced with first-order formulas interpreted over arbitrary theories, in the spirit of Satisfiability Modulo Theories.
Luca Geatti +2 more
openalex +3 more sources
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata [PDF]
IEEE Control Systems Letters, 2020 This letter proposes a novel reinforcement learning method for the synthesis of a control policy satisfying a control specification described by a linear temporal logic formula. We assume that the controlled system is modeled by a Markov decision process
Ryohei Oura +2 more
openalex +3 more sources
A Proof of Stavi's Theorem [PDF]
Logical Methods in Computer Science, 2018 Kamp's theorem established the expressive equivalence of the temporal logic with Until and Since and the First-Order Monadic Logic of Order (FOMLO) over the Dedekind-complete time flows. However, this temporal logic is not expressively complete for FOMLO
Alexander Rabinovich
doaj +3 more sources
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic [PDF]
ACM Transactions on Computational Logic, 2022 While most approaches in formal methods address system correctness, ensuring robustness has remained a challenge. In this article, we present and study the logic rLTL, which provides a means to formally reason about both correctness and robustness in ...
Tzanis Anevlavis +3 more
openalex +3 more sources