A Correctness Result for Reasoning about One-Dimensional Planning Problems

Open in new window