Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking

Open in new window