Interval temporal logic
View article
Understanding the computation of time using neural network models Open
To maximize future rewards in this ever-changing world, animals must be able to discover the temporal structure of stimuli and then anticipate or act correctly at the right time. How do animals perceive, maintain, and use time intervals ra…
View article
Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations Open
Temporal logics are useful for providing concise descriptions of system behavior, and have been successfully used as a language for goal definitions in task planning. Prior works on inferring temporal logic specifications have focused on "…
View article
Cooperative task planning of multi-agent systems under timed temporal specifications Open
In this paper the problem of cooperative taskplanning of multi-agent systems when timed constraints areimposed to the system is investigated. We consider timedconstraints given by Metric Interval Temporal Logic (MITL).We propose a method f…
View article
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic Open
We present an extension of the linear time, time-bounded, Signal Temporal Logic to describe spatio-temporal properties. We consider a discrete location/ patch-based representation of space, with a population of interacting agents evolving …
View article
Tractable Interval Temporal Propositional and Description Logics Open
We design a tractable Horn fragment of the Halpern-Shoham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for both combined and data complexity.
View article
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams Open
In this work, we focus on decomposing large multi-agent path planning\nproblems with global temporal logic goals (common to all agents) into smaller\nsub-problems that can be solved and executed independently. Crucially, the\nsub-problems'…
View article
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks Open
This paper presents the implementation and experi-mental results of two frameworks for multi-agent systems undertemporal logic tasks, which we have recently proposed. Eachagent is subject to either a local linear temporal logic or alocal s…
View article
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk) Open
We discuss the use of various temporal knowledge representation formalisms for ontology-mediated query answering over temporal data. In particular, we analyse ontology and query languages based on the linear temporal logic LTL, the multi-d…
View article
Linear-Time Temporal Answer Set Programming Open
In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs is the result of combining …
View article
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions Open
In this paper, we investigate the model checking (MC) problem for Halpern and\nShoham's interval temporal logic HS. In the last years, interval temporal logic\nMC has received an increasing attention as a viable alternative to the\ntraditi…
View article
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties Open
We present $$\backslashtext {RVHyper}$$RVHyper, a runtime verification tool for hyperproperties. Hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other. Specifications ar…
View article
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS Open
Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases. Most of the proposed solutions make use of classical, point-based temporal logics, w…
View article
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives Open
Model checking is commonly recognized as one of the most effective tool in system verification. While it has been systematically investigated in the context of classical, point-based temporal logics, it is still largely unexplored in the i…
View article
Foundations for using linear temporal logic in Event-B refinement Open
In this paper we present a new way of reconciling Event-B refinement with linear temporal logic (LTL) properties. In particular, the results presented in this paper allow properties to be established for abstract system models, and identif…
View article
Monitoring Temporal Logic Specifications Combined with Time Series Constraints Open
Run-time monitoring of temporal properties and assertions is used for testing and as\na component of execution-based model checking techniques. Traditional run-time monitoring\nhowever, is limited to observing sequences of pure Boolean pro…
View article
A decidable weakening of Compass Logic based on cone-shaped cardinal directions Open
We introduce a modal logic, called Cone Logic, whose formulas describe properties of points in the plane and spatial relationships between them. Points are labelled by proposition letters and spatial relations are induced by the four cone-…
View article
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison Open
Model checking is a powerful method widely explored in formal verification to check the (state-transition) model of a system against desired properties of its behaviour. Classically, properties are expressed by formulas of a temporal logic…
View article
Interval vs. Point Temporal Logic Model Checking Open
In recent years, model checking with interval temporal logics is emerging as a viable alternative to model checking with standard point-based temporal logics, such as LTL, CTL, CTL*, and the like. The behavior of the system is modeled by m…
View article
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints Open
Within the timeline-based framework, planning problems are modeled as sets of independent, but interacting, components whose behavior over time is described by a set of temporal constraints. Timeline-based planning is being used successful…
View article
Keynote: The First-Order Logic of Signals Open
Formalizing properties of systems with continuous dynamics is a challenging task. In this paper, we propose a formal framework for specifying and monitoring rich temporal properties of real-valued signals. We introduce signal first-order l…
View article
Generating Explanations for Temporal Logic Planner Decisions Open
Although temporal logic has been touted as a fruitful language for specifying interpretable agent objectives, there has been little emphasis on generating explanations for agents with temporal logic objectives. In this paper, we develop an…
View article
An Axiomatization of a First-order Branching Time Temporal Logic Open
Early decisions relating to the implementation of virtual care relied on necessity and clinical judgement, but there is a growing need for the generation of evidence to inform policy and practice designs. The need for stronger partnerships…
View article
Control Barrier Functions for Abstraction-Free Control Synthesis under Temporal Logic Constraints Open
Temporal logic has been widely used to express complex task specifications for cyber-physical systems (CPSs). One way to synthesize a controller for CPS under temporal logic constraints is to first abstract the CPS as a discrete transition…
View article
A two-stage model of concurrent interval timing in monkeys Open
Accurate timing is critical for a wide range of cognitive processes and behaviors. In addition, complex environments frequently necessitate the simultaneous timing of multiple intervals, and behavioral performance in concurrent timing can …
View article
Alternating-time temporal logic with resource bounds Open
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitiona…
View article
Approach to Reasoning about Uncertain Temporal Data in OWL 2 Open
International audience
View article
Alternating-time Temporal Logic on Finite Traces Open
We develop a logic-based technique to analyse finite interactions in multi-agent systems. We introduce a semantics for Alternating-time Temporal Logic (for both perfect and imperfect recall) and its branching-time fragments in which paths …
View article
Monitoring Temporal Properties Using Interval Analysis Open
Verification of temporal logic properties plays a crucial role in proving the\ndesired behaviors of continuous systems. In this paper, we propose an interval\nmethod that verifies the properties described by a bounded signal temporal\nlogi…
View article
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata Open
In this paper we describe a technique for monitoring and checking temporal logic\nassertions augmented with real-time and time-series constraints, or Metric Temporal Logic\nSeries (MTLS). The method is based on Remote Execution and Monitor…
View article
Knowledge Extraction with Interval Temporal Logic Decision Trees Open
Multivariate temporal, or time, series classification is, in a way, the temporal generalization of (numeric) classification, as every instance is described by multiple time series instead of multiple values. Symbolic classification is the …