State Space Traversal

State Space Traversal

One-step reachability: Given a set of states, find set of states which can be reached in one step

Reachability: Iteratively apply one-step reachability until no new states visited

R0

R1

R2=R3

Previous slide

Next slide

Back to the first slide

View Graphic Version