Under-approximation refinement for classical planning
The Fast Downward Planning System