Return to Article Details Temporal Planning as Refinement-Based Model Checking Download Download PDF