Hierarchical Task-Network Planner Based on Symbolic Model Checking

机译：基于符号模型检验的分层任务网络规划器

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Although several approaches have been developed for planning in non- deterministic domains, solving large planning problems is still quite difficult. In this work, we present a novel algorithm, called YoYo, for planning in non- deterministic domains under the assumption of full observability. This algorithm enables us to combine the power of search-control strategies as in Planning with Hierarchical Task Networks (HTNs) with techniques from the Planning via Symbolic Model-Checking (SMC). Our experimental evaluation confirms the potentialities of our approach, demonstrating that it combines the advantages of these paradigms.

著录项

作者
Kuter, U. ; Nau, D. ; Pistore, M. ; Traverso, P.;
展开▼
作者单位

展开▼
年度 2005
页码 1-11
总页数 11
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Networks; Planning; Algorithms; Strategy; Hypotheses; Hierarchies; Memory devices; Comparison; Models;

机译：网络;规划;算法;策略;假设;层次结构;存储设备;比较;模型;

相似文献

外文文献
中文文献
专利

1. Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing [J] . Bernhard K. Aichernig, Martin Tappler Electronic Notes in Theoretical Computer Science . 2016,第7期

机译：基于模型的变异测试的符号输入-输出一致性检查
2. Model-based mutation testing via symbolic refinement checking [J] . Bernhard K. Aichernig, Elisabeth Joebstl, Stefan Tiran Science of Computer Programming . 2015,第pta4期

机译：通过符号细化检查进行基于模型的变异测试
3. Symbolic model checking for channel-based component connectors [J] . Sascha Klueppelholz, Christel Baier Science of Computer Programming . 2009,第9期

机译：基于通道的组件连接器的符号模型检查
4. A Hierarchical Task-Network Planner based on Symbolic Model Checking [C] . Ugur Kuter, Dana Nau, Marco Pistore, International Conference on Automated Planning and Scheduling(ICAPS 2005); 2005; Monterey,CA(US) . 2005

机译：基于符号模型检查的分层任务网络计划器
5. Satisfiability-based abstraction refinement in symbolic model checking. [D] . Li, Bing. 2006

机译：在符号模型检查中基于可满足性的抽象优化。
6. Efficient parameter search for qualitative models of regulatory networks using symbolic model checking [O] . Gregory Batt, Michel Page, Irene Cantone, -1

机译：使用符号模型检查对监管网络的定性模型进行有效的参数搜索
7. A hierarchical task-network planner based on symbolic model checking [O] . Ugur Kuter, Dana Nau, Marco Pistore, 2005

机译：基于符号模型检查的分层任务网络规划器

Hierarchical Task-Network Planner Based on Symbolic Model Checking

摘要

著录项

相似文献

相关主题

期刊订阅