PPT Slide
onT-A
onT-B
cl-A
cl-B
he
h-A
h-B
~cl-A
~cl-B
~he
Pick-A
Pick-B
Optimistic Projection of Reachability
Init:
Ontable(A),Ontable(B),
Clear(A), Clear(B), hand-empty
Goal:
~clear(B), hand-empty
Previous slide
Next slide
Back to first slide
View graphic version