
432 Chapter 17 Planning Based on Model Checking
17.5 Planning as Model Checking versus MDPs
The MDP approach and the model checking approach take very different views of
the planning problem. With MDPs, we have probabilities, a utility function, and an
optimization problem. With planning as model checking, we have nondeterminism
but no probabilities, a logical specification of the goal, and a satisfiability problem.
Probabilities are a very simple and natural way to express preferences, while the
work on preferences in the model checking approach is still beginning [136]. Util-
ity functions are a simple and effective way to express competing criteria. ...