Conflicts focus search
Conflicts are generated when a subset of the modes entail the negation of the goal
Previous slide
Next slide
Back to first slide
View graphic version