Search papers, labs, and topics across Lattice.
This paper introduces a practical, polynomial-time compilation from temporal planning problems with durative actions into PDDL+, assuming non-self-overlapping actions. The compilation preserves plan length up to a constant factor and fully captures the semantics of the original temporal planning problem. Experimental results demonstrate the compilation's practical relevance for solving complex temporal numeric planning problems.
Finally, a practical and efficient compilation from temporal planning with durative actions to PDDL+ is here, opening doors for leveraging PDDL+ solvers on a wider range of planning problems.
Since the introduction of the PDDL+ modeling language, it was known that temporal planning with durative actions (as in PDDL 2.1) could be compiled into PDDL+. However, no practical compilation was presented in the literature ever since. We present a practical compilation from temporal planning with durative actions into PDDL+, fully capturing the semantics and only assuming the non-self-overlapping of actions. Our compilation is polynomial, retains the plan length up to a constant factor and is experimentally shown to be of practical relevance for hard temporal numeric problems.
