Results 291 to 300 of about 2,393,674 (352)

Multi-Agent Reinforcement Learning with Temporal Logic Specifications

Adaptive Agents and Multi-Agent Systems, 2021
In this paper, we study the problem of learning to satisfy temporal logic specifications with a group of agents in an unknown environment, which may exhibit probabilistic behaviour.
Lewis Hammond, A. Abate, Julian Gutierrez, M. Wooldridge   +3 more
semanticscholar   +1 more source

Elective temporal logic

Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, 2011
In this paper we present a novel formalism for de ning properties over linear execution traces, namely elective temporal logic (ETL). Di erently from several other temporal logics, ETL is not dedicated to a speci c time model, e.g. discrete time or real time.
COSTA, GABRIELE, I. Matteucci
openaire   +5 more sources

Temporal Logic

1994
Abstract This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled ...
Dov M Gabbay, Ian Hodkinson, Mark Reynolds   +2 more
openaire   +2 more sources

Temporal Logic

1995
Abstract There are various historical sources for the discipline of Temporal Logic. The insight that temporal discourse and temporal argument show significant logical structures arises naturally in the empirical study of human reasoning, but it has recently become a necessity in the design of mechanical reasoning systems as well.
Peter Øhrstrøm, F. V. Per Hasle
openaire   +3 more sources

Specifying Safety of Autonomous Vehicles in Signal Temporal Logic

2019 IEEE Intelligent Vehicles Symposium (IV), 2019
We develop a set of contracts for autonomous control software that ensures that if all traffic participants follow the contracts, the overall traffic system will be collision-free.
Nikos Aréchiga
semanticscholar   +1 more source

Temporal Logics

2023
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions,
openaire   +1 more source

Visibly Linear Temporal Logic

Journal of Automated Reasoning, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bozzelli L., Sanchez C.
openaire   +2 more sources

Temporalizing Epistemic Default Logic

Journal of Logic, Language and Information, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
van der Hoek, W., Meyer, J-J.Ch., Treur, J.   +2 more
openaire   +5 more sources

HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

International Conference on Quantitative Evaluation of Systems, 2018
In this paper, we propose a new logic for expressing and reasoning about probabilistic hyperproperties. Hyperproperties characterize the relation between different independent executions of a system.
E. Ábrahám, Borzoo Bonakdarpour
semanticscholar   +1 more source

Fuzzy Branching Temporal Logic

IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), 2004
Intelligent systems require a systematic way to represent and handle temporal information containing uncertainty. In particular, a logical framework is needed that can represent uncertain temporal information and its relationships with logical formulae.
Moon, SI, Lee, KH Lee, Kwang-Hyung, Lee, D Lee, Doheon   +2 more
openaire   +3 more sources