Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking

Josef Bajada, Maria Fox, Derek Long

Temporal planning often involves numeric effects that are directly proportional to their action's duration. These include continuous effects, where a numeric variable is subjected…