Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version | ScienceToStartup | ScienceToStartup