Planning via model checking with decision-tree controllers
Jonis Kiesbye,Kush Grover,Pranav Ashok,Jan Křetínský,Jonis Kiesbye,Kush Grover,Pranav Ashok,Jan Křetínský
Planning problems can be solved not only by planners, but also by model checkers. While the former yield a plan that requires replanning as soon as any fault occurs, the latter provide a “universal” plan (a.k.a. strategy, policy, or controller) able to make decisions under all circumstances. One of the prohibitive aspects of the latter approach is stemming from this very advantage: since it is def...
