A hierarchical task-network planner based on symbolic model checking
U. Kuter, and D. Nau. In Proceedings of the 15th International Conference on Automated Planning and Scheduling ICAPS-05, page 300--309. AAAI Press, (2005)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 Kuter05ahierarchical
%A Kuter, Ugur
%A Nau, Dana
%B In Proceedings of the 15th International Conference on Automated Planning and Scheduling ICAPS-05
%D 2005
%I AAAI Press
%K *file-import-12-02-12
%P 300--309
%T A hierarchical task-network planner based on symbolic model checking
@inproceedings{Kuter05ahierarchical,
added-at = {2012-03-02T03:39:18.000+0100},
author = {Kuter, Ugur and Nau, Dana},
biburl = {https://www.bibsonomy.org/bibtex/20bd9dbe2c0282f7438bd35cee7783600/baby9992006},
booktitle = {In Proceedings of the 15th International Conference on Automated Planning and Scheduling ICAPS-05},
citeulike-article-id = {10337451},
interhash = {3c0437b490397a8d038555698a35ee5c},
intrahash = {0bd9dbe2c0282f7438bd35cee7783600},
keywords = {*file-import-12-02-12},
pages = {300--309},
posted-at = {2012-02-12 14:07:42},
priority = {2},
publisher = {AAAI Press},
timestamp = {2012-03-02T03:39:25.000+0100},
title = {{A hierarchical task-network planner based on symbolic model checking}},
year = 2005
}