Backward State-space Refinement
Grow plan suffix by adding relevant actions
Complete, Monotonic
consideration of all relevant suffixes
Progressive
elimination of irrelevant suffixes
Systematic
each component has a different suffix
Goal directed
Lower branching
Previous slide
Next slide
Back to first slide
View graphic version