Modeling a Dynamic Environment
Directed graph
Each node is a state
Each edge is an action that induces a transition
Example
States: BUMPED, CLEAR_CLOSE, CLEAR_FAR
Actions: FORWARD, BACK
(next)