papers
Publications (10)
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.LO2003
Verification of recursive parallel systems
Laura Bozzelli, Massimo Benerecetti, Adriano Peron
cs.FL2019
Undecidability of future timeline-based planning over dense temporal domains
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1
cs.LO2018
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
Laura Bozzelli, Alberto Molinari, Angelo Montanari +2
cs.FL2017
Event-Clock Nested Automata
Laura Bozzelli, Aniello Murano, Adriano Peron
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.LO2018
Timed context-free temporal logics (extended version)
Laura Bozzelli, Aniello Murano, 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
cs.GT2014
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification
Adriano Peron, Carla Piazza
cs.LO2018
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1