BriefGPT.xyz
Ask
alpha
关键词
model checking integrated planning system
搜索结果 - 1
模型检查综合规划系统中的数字和时间控制
本文介绍了基于对象导向工作台架构的时间最小承诺启发式搜索规划器 Model Checking Integrated Planning System(MIPS),它在国际规划大赛中表现出色,该规划器分离了显式和符号的直接搜索算法,是一个完整且
→
PDF
13 years ago
Prev
Next