机译:确定性和非确定性领域中通用计划的模型检查
机译:格拉维斯:基于模型检查自主系统的规划和目标推理框架
机译:将3 x 2成就目标模型扩展到运动领域:体育的3 x 2成就目标问卷
机译:规划作为非确定性域中扩展目标的模型检查
机译:针对不确定性,容错性和对抗性域的基于BDD的有效规划
机译:进化过程在视频游戏中的作用:目标导向行为模型和目标导向行为扩展模型的测试
机译:基于OBDD的通用计划:在不确定性域中为同步代理指定和解决计划问题
机译:基于BDD的非确定性,容错和对抗域的高效规划