Planning as Model Checking for Extended Goals in Non-Deterministic Domains
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 some executions. In this paper we address this problem.
Cite
Text
Pistore and Traverso. "Planning as Model Checking for Extended Goals in Non-Deterministic Domains." International Joint Conference on Artificial Intelligence, 2001.Markdown
[Pistore and Traverso. "Planning as Model Checking for Extended Goals in Non-Deterministic Domains." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/pistore2001ijcai-planning/)BibTeX
@inproceedings{pistore2001ijcai-planning,
title = {{Planning as Model Checking for Extended Goals in Non-Deterministic Domains}},
author = {Pistore, Marco and Traverso, Paolo},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2001},
pages = {479-486},
url = {https://mlanthology.org/ijcai/2001/pistore2001ijcai-planning/}
}