Results 1 to 10 of about 294,052 (285)
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 +8 more sources
Robust Linear Temporal Logic [PDF]
, 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 +5 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
Parametric Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope.
Peter Faymonville, Martin Zimmermann
doaj +6 more sources
Linear Temporal Logic for Regular Cost Functions [PDF]
Logical Methods in Computer Science, 2014 Regular cost functions have been introduced recently as an extension to the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties.
Denis Kuperberg
doaj +7 more sources
The intuitionistic temporal logic of dynamical systems [PDF]
Logical Methods in Computer Science, 2018 A dynamical system is a pair $(X,f)$, where $X$ is a topological space and $f\colon X\to X$ is continuous. Kremer observed that the language of propositional linear temporal logic can be interpreted over the class of dynamical systems, giving rise to a ...
David Fernández-Duque
doaj +5 more sources
Linear Temporal Logic-based Mission Planning [PDF]
International Journal of Interactive Multimedia and Artificial Intelligence, 2016 In this paper, we describe the Linear Temporal Logic-based reactive motion planning. We address the problem of motion planning for mobile robots, wherein the goal specification of planning is given in complex environments.
Anil Kumar, Rahul Kala
doaj +3 more sources
The complexity of linear-time temporal logic over the class of ordinals [PDF]
Logical Methods in Computer Science, 2010 We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem.
Stephane Demri, Alexander Rabinovich
doaj +4 more sources
A Metric for Linear Temporal Logic
, 2018 We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the real numbers and then take the Lebesgue measure of the resulting sets.
Iannopollo, Antonio +4 more
core +3 more sources
A Parallel Linear Temporal Logic Tableau [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 For many applications, we are unable to take full advantage of the potential massive parallelisation offered by supercomputers or cloud computing because it is too hard to work out how to divide up the computation task between processors in such a way ...
John C. McCabe-Dansted, Mark Reynolds
doaj +1 more source