research
∙
06/08/2020
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
The expressive power of interval temporal logics (ITLs) makes them reall...
research
∙
01/12/2019
Model checking: the interval way
[...] The most famous MC techniques were developed from the late 80s, be...
research
∙
09/10/2018
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
In this paper, we address complexity issues for timeline-based planning ...
research
∙
11/22/2017
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
In the last years, model checking with interval temporal logics is emerg...
research
∙
09/07/2017
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
In this paper, we investigate the model checking (MC) problem for Halper...
research
∙
09/06/2017