Results 41 to 50 of about 430,787 (365)
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
IEEE Transactions on Control Systems Technology, 2021 This brief presents the implementation and experimental results of two frameworks for multi-agent systems under temporal logic tasks, which we have recently proposed.
Lars Lindemann +5 more
semanticscholar +1 more source
Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking
IEEE transactions on fuzzy systems, 2021 Based on the Kripke structure, linear temporal logic and generalized possibility measure, this article studies the model checking problems of generalized possibilistic fuzzy linear temporal logic (GPoFTL).
Yongming Li, Jielin Wei
semanticscholar +1 more source
Temporal Logic Planning and Receding Horizon Control for Signal Source Localization
Applied Sciences, 2022 This article copes with signal source localization by employing a receding horizon control approach with temporal logic planning in the light of a single mobile robot.
Xingtong Chen +3 more
doaj +1 more source
Linear-time Temporal Logic with Event Freezing Functions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Formal properties represent a cornerstone of the system-correctness proofs based on formal verification techniques such as model checking. Formalizing requirements into temporal properties may be very complex and error prone, due not only to the ...
Stefano Tonetta
doaj +1 more source
Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives [PDF]
IEEE International Conference on Robotics and Automation, 2020 We study synthesis of control strategies from linear temporal logic (LTL) objectives in unknown environments. We model this problem as a turn-based zero-sum stochastic game between the controller and the environment, where the transition probabilities ...
A. Bozkurt +3 more
semanticscholar +1 more source
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning [PDF]
IEEE International Conference on Robotics and Automation, 2019 We present a reinforcement learning (RL) frame-work to synthesize a control policy from a given linear temporal logic (LTL) specification in an unknown stochastic environment that can be modeled as a Markov Decision Process (MDP).
A. Bozkurt +3 more
semanticscholar +1 more source
The Complexity of Generalized Satisfiability for Linear Temporal Logic [PDF]
Logical Methods in Computer Science, 2009 In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used.
Michael Bauland +4 more
doaj +1 more source
Automata Linear Dynamic Logic on Finite Traces [PDF]
Logical Methods in Computer ScienceTemporal logics are widely used by the Formal Methods and AI communities. Linear Temporal Logic is a popular temporal logic and is valued for its ease of use as well as its balance between expressiveness and complexity.
Kevin W. Smith, Moshe Y. Vardi
doaj +1 more source
Allen Linear (Interval) Temporal Logic --Translation to LTL and Monitor Synthesis-- [PDF]
, 2006 The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic, abbreviated \ATL) and linear temporal logic (\LTL).
A. Pnueli +6 more
core +1 more source
A Gödel Calculus for Linear Temporal Logic
Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning, 2022 We consider GTL, a variant of linear temporal logic based on Gödel-Dummett propositional logic. In recent work, we have shown this logic to enjoy natural semantics both as a fuzzy logic and as a superintuitionistic logic. Using semantical methods, the logic was shown to be PSPACE-complete. In this paper we provide a deductive calculus for GTL, and show
Aguilera, J. P. +3 more
openaire +3 more sources