Results 21 to 30 of about 430,787 (365)

Policy Optimization with Linear Temporal Logic Constraints [PDF]

open access: greenNeural Information Processing Systems, 2022
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]

open access: yesLogical 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 for Regular Cost Functions [PDF]

open access: yesLogical 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

A Unified Translation of Linear Temporal Logic to ω-Automata [PDF]

open access: bronzeJournal of the ACM, 2020
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]

open access: goldLogic in Computer Science, 2020
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]

open access: greenIEEE Conference on Decision and Control, 2020
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]

open access: yesInternational 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   +2 more sources

The complexity of linear-time temporal logic over the class of ordinals [PDF]

open access: yesLogical 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

Path Checking for MTL and TPTL over Data Words [PDF]

open access: yesLogical Methods in Computer Science, 2017
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

open access: yes, 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

Home - About - Disclaimer - Privacy