Checking correctness of a plan: The State-based approaches
Progression Proof: Progress the initial state over the action sequence, and see if the goals are present in the result
- Regression Proof: Regress the goal state over the action sequence, and see if the initial state subsumes the result