Results 21 to 30 of about 430,787 (365)
Policy Optimization with Linear Temporal Logic Constraints [PDF]
We study the problem of policy optimization (PO) with linear temporal logic (LTL) constraints. The language of LTL allows flexible description of tasks that may be unnatural to encode as a scalar cost function.
Cameron Voloshin +3 more
openalex +3 more sources
The intuitionistic temporal logic of dynamical systems [PDF]
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 for Regular Cost Functions [PDF]
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
A Unified Translation of Linear Temporal Logic to ω-Automata [PDF]
We present a unified translation of linear temporal logic (LTL) formulas into deterministic Rabin automata (DRA), limit-deterministic Büchi automata (LDBA), and nondeterministic Büchi automata (NBA).
Javier Esparza +2 more
openalex +2 more sources
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata [PDF]
In the mid 80s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of Past LTL (the extension of LTL with past operators) is equivalent to a formula of the form Λni =1 GFφi ∨FGψi, where φi and ψi contain only past ...
Salomon Sickert, Javier Esparza
openalex +3 more sources
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks [PDF]
In this paper, we investigate the problem of planning an optimal infinite path for a single robot to achieve a linear temporal logic (LTL) task with security guarantee.
Shuo Yang +3 more
openalex +3 more sources
Linear Temporal Logic-based Mission Planning [PDF]
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 +2 more sources
The complexity of linear-time temporal logic over the class of ordinals [PDF]
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
Path Checking for MTL and TPTL over Data Words [PDF]
Metric temporal logic (MTL) and timed propositional temporal logic (TPTL) are quantitative extensions of linear temporal logic, which are prominent and widely used in the verification of real-timed systems.
Shiguang Feng +2 more
doaj +3 more sources
A Metric for Linear Temporal Logic
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

