Results 1 to 10 of about 26,826 (260)
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
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 +4 more sources
Safety Constraint-Guided Reinforcement Learning with Linear Temporal Logic
Systems, 2023 In the context of reinforcement learning (RL), ensuring both safety and performance is crucial, especially in real-world scenarios where mistakes can lead to severe consequences.
Ryeonggu Kwon, Gihwon Kwon
doaj +3 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
Fuzzy Linear Temporal Logic with Quality Constraints
MathematicsAs an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal logic
Xianfeng Yu, Yongming Li, Shengling Geng
doaj +3 more sources
Standpoint Linear Temporal Logic
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, allowing one to reason with diverse and potentially conflicting viewpoints held by different agents ...
Nicola Gigante +2 more
openaire +2 more sources
Intuitionistic Linear Temporal Logics [PDF]
ACM Transactions on Computational Logic, 2019 We consider intuitionistic variants of linear temporal logic with “next,” “until,” and “release” based on expanding posets : partial orders equipped with an order-preserving transition function. This class of structures gives rise to a logic that we denote ITL e , and by imposing additional ...
Philippe Balbiani +3 more
openaire +4 more sources
Defeasible linear temporal logic
Journal of Applied Non-Classical Logics, 2023 After the seminal work of Kraus, Lehmann and Magidor (formally known as the KLM approach) on conditionals and preferential models, many aspects of defeasibility in more complex formalisms have been studied in recent years. Examples of these aspects are the notion of typicality in description logic and defeasible necessity in modal logic.
Chafik, Anasse +3 more
openaire +3 more sources
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