Sala, Pietro

1 publications

IJCAI 2017 Bounded Timed Propositional Temporal Logic with past Captures Timeline-Based Planning with Bounded Constraints Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco