Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version

Andrea Micheli, Enrico Scala, Alessandro Valentini
3/12/2026
cs.AI

No confident code implementation found for this paper.

Abstract

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.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Temporal Numeric Planning with Patterns

80% match2024

Multi-Valued Partial Order Plans in Numeric Planning

76% match2023

Symbolic Pattern Temporal Numeric Planning with Intermediate Conditions and Effects

75% match2026

Enhancing Temporal Planning Domains by Sequential Macro-actions (Extended Version)

75% match2023

HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning

74% match2023

Controller Synthesis for Timeline-based Games

73% match2023

Cite this paper

@article{micheli2026compiling,
  title  = {Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version},
  author = {Andrea Micheli and Enrico Scala and Alessandro Valentini},
  year   = {2026},
  eprint = {2603.12188},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2603.12188v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2603.12188.svg)](https://codeofpaper.com/paper/2603.12188)

Discussion