Synthesis of reactive plans for multi-path environments
F. Kabanza · National Conference on Artificial Intelligence · 1990
We describe a planner that works on the description of a multi-path environment and generates a conditional plan. The resulting plan is guaranteed to fulfill its goal whatever path of the description the environment follows during the plan execution.