A Hierarchical Task-Network Planner based on Symbolic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Ugur Kuter' in GoogleThis author has not been identified. Look up 'Dana S. Nau' in GoogleThis author has not been identified. Look up 'Marco Pistore' in GoogleThis author has not been identified. Look up 'Paolo Traverso' in Google

runs on WebDSL