37 citations · 106 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019
Undecidability of future timeline-based planning over dense temporal domains
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1
Planning is one of the most studied problems in computer science. In this paper, we consider the timeline-based approach, where the domain is modeled by a set of independent, but i…
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…