papers
Publications (7)
cs.LO2018
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1
cs.FL2019
Undecidability of future timeline-based planning over dense temporal domains
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1
cs.LO2019
Model checking: the interval way
Alberto Molinari
cs.LO2018
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
Laura Bozzelli, Alberto Molinari, Angelo Montanari +2
cs.LO2016
Model Checking the Logic of Allen's Relations Meets and Started-by is $P^NP$-Complete
Laura Bozzelli, Alberto Molinari, Angelo Montanari +2
cs.LO2017
Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives
Alberto Molinari, Angelo Montanari, Adriano Peron
cs.LO2017
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