Ugur Kuter, Dana S. Nau, Marco Pistore, Paolo Traverso. A Hierarchical Task-Network Planner based on Symbolic Model Checking. In Susanne Biundo, Karen L. Myers, Kanna Rajan, editors, Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA. pages 300-309, AAAI, 2005.
@inproceedings{KuterNPT05,
title = {A Hierarchical Task-Network Planner based on Symbolic Model Checking},
author = {Ugur Kuter and Dana S. Nau and Marco Pistore and Paolo Traverso},
year = {2005},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/KuterNPT05},
cites = {0},
citedby = {0},
pages = {300-309},
booktitle = {Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA},
editor = {Susanne Biundo and Karen L. Myers and Kanna Rajan},
publisher = {AAAI},
isbn = {1-57735-220-3},
}