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

Browse the full IJCAI paper archive.