Inproceedings,
Planning as Model Checking for Extended Goals in Non-deterministic Domains
IJCAI, page 479--486. (2001)
Abstract
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal properties. However, the combination of these two aspects is not trivial. In non-deterministic domains, goals should take into account the fact that a plan may result in many possible different executions and that some requirements can be enforced on all the possible executions, while others may be enforced only on...
