Results 51 to 60 of about 2,329,578 (354)
The Logic of Khārijī Propositions [PDF]
حکمت سینوی, 2023 There are two general methods for interpreting and analyzing khārijī and ḥaqīqī propositions: first, by analyzing them within a unified logic; second, by assigning separate logics to khārijī and ḥaqīqī propositions.
Asadollah Fallahi
doaj +1 more source
A Temporal Logic for Strategic Hyperproperties
32nd International Conference on Concurrency Theory, 2021 Hyperproperties are commonly used in computer security to define information-flow policies and other requirements that reason about the relationship between multiple computations. In this paper, we study a novel class of hyperproperties where the individual computation paths are chosen by the strategic choices of a coalition of agents in a multi-agent ...
Beutner, Raven, Finkbeiner, Bernd
openaire +4 more sources
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic [PDF]
IEEE Conference on Decision and Control, 2018 In this paper, a method to synthesize controllers using finite time convergence control barrier functions guided by linear temporal logic specifications for continuous time multi-agent dynamical systems is proposed.
Mohit Srinivasan +2 more
semanticscholar +1 more source
Formal Verification of Three-Valued Digital Waveforms
Моделирование и анализ информационных систем, 2019 We investigate a formal verification problem (mathematically rigorous correctness checking) for digital waveforms used in practical development of digital microelectronic devices (digital circuits) at early design stages.
Nina Yu. Kutsak, Vladislav V. Podymov
doaj +1 more source
Decentralized Control Barrier Functions for Coupled Multi-Agent Systems under Signal Temporal Logic Tasks [PDF]
European Control Conference, 2019 We study the problem of controlling multi-agent systems under a set of signal temporal logic tasks. Signal temporal logic is a formalism that is used to express time and space constraints for dynamical systems.
Lars Lindemann, Dimos V. Dimarogonas
semanticscholar +1 more source
Completeness classes for intuitionistic first-order temporal logic with time gaps
Lietuvos Matematikos Rinkinys, 2023 There is not abstract.
Romas Alonderis
doaj +3 more sources
Certain Bounds of Formulas in Free Temporal Algebras
Axioms, 2023 In this paper, we give a basic structure theorem based on the study of extreme cases for the value of ≺ (the classical precedence relation between ultrafilters), i.e., ≺=∅ and no isolated element in ≺.
Francisco Miguel García-Olmedo +2 more
doaj +1 more source
Learning Interpretable Models Expressed in Linear Temporal Logic
International Conference on Automated Planning and Scheduling, 2019 We examine the problem of learning models that characterize the high-level behavior of a system based on observation traces. Our aim is to develop models that are human interpretable.
Alberto Camacho, Sheila A. McIlraith
semanticscholar +1 more source
Reinforcement learning with temporal logic rewards [PDF]
IEEE/RJS International Conference on Intelligent RObots and Systems, 2016 Reinforcement learning (RL) depends critically on the choice of reward functions used to capture the desired behavior and constraints of a robot. Usually, these are handcrafted by a expert designer and represent heuristics for relatively simple tasks ...
Xiao Li, C. Vasile, C. Belta
semanticscholar +1 more source
Journal of Symbolic Computation, 1989 Temporal logic, often used as a specification language for programs, can serve directly as a programming language. We propose a specific programming language TEMPLOG, which extends the classical PROLOG-like languages to include temporal operators. PROLOG progams are collections of classical Horn clauses and they are efficiently interpreted by SLD ...
Zohar Manna, Martín Abadi
openaire +2 more sources