State Space
AB
⇒
AB⇒
A, Dirty, CleanAAB
(Transition Model)
A Right ⇒B
A Suck ⇒ADirtyCleanDirty
Deterministic
(Performance Measure)
Suck