%0 Conference Paper %1 Pistore01 %A Pistore, Marco %A Traverso, Paolo %B IJCAI %D 2001 %K extended-goal, model-checking, planning %P 479--486 %T Planning as Model Checking for Extended Goals in Non-deterministic Domains %U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.2125 %X 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...

@inproceedings{Pistore01, 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...}}, added-at = {2011-05-04T16:04:17.000+0200}, author = {Pistore, Marco and Traverso, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2c71a2865b2820e11b4dfa69e9180a911/baisemain}, booktitle = {IJCAI}, citeulike-article-id = {1297536}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.2125}, interhash = {b4cbdc1fd86cafd94f65e3f66471f7af}, intrahash = {c71a2865b2820e11b4dfa69e9180a911}, keywords = {extended-goal, model-checking, planning}, pages = {479--486}, posted-at = {2007-05-15 18:11:06}, priority = {2}, timestamp = {2011-05-04T16:04:38.000+0200}, title = {{Planning as Model Checking for Extended Goals in Non-deterministic Domains}}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.2125}, year = 2001 }