17 citations · 20 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2019★ 3 cited
Model checking: the interval way
Alberto Molinari
[...] The most famous model checking (MC) techniques were developed from the late 80s, bearing in mind the well-known "point-based" temporal logics LTL and CTL. However, while the…
cs.LO2018
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1
In this paper, we address complexity issues for timeline-based planning over dense temporal domains. The planning problem is modeled by means of a set of independent, but interacti…
cs.LO2017★ 17 cited
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1
In this paper, we investigate the model checking (MC) problem for Halpern and Shoham's interval temporal logic HS. In the last years, interval temporal logic MC has received an inc…