17 citations · 17 across the 2 of their papers we have counts for
2 papers
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.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…