papers
Publications (14)
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.LO2014
Interval-based Synthesis
Angelo Montanari, Pietro Sala
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
cs.LO2018
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
Luca Geatti, Nicola Gigante, Angelo Montanari +1
cs.LO2012
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Davide Bresolin, Dario Della Monica, Angelo Montanari +2
cs.LO2018
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1
cs.LO2017
Beyond $Ï$BS-regular Languages: $Ï$T-regular Expressions and Counter-Check Automata
Dario Della Monica, Angelo Montanari, Pietro Sala
cs.LO2011
An Optimal Decision Procedure for MPNL over the Integers
Davide Bresolin, Angelo Montanari, Pietro Sala +1
cs.LO2015
A decidable weakening of Compass Logic based on cone-shaped cardinal directions
Angelo Montanari, Gabriele Puppis, Pietro Sala
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.GT2010
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification
Angelo Montanari, Margherita Napoli, Mimmo Parente
cs.AI2019
A game-theoretic approach to timeline-based planning with uncertainty
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer +2