机器人任务规划：从状态机到形式系统

目录 1.机器人任务规划 2.典型的服务机器人系统（SPA结构） 3.基于状态机实现的举例 4.基于逻辑的形式系统 5.使用动作语言BC的任务规划 参考：       1.机器人任务规划 2.典型的服务机器人系统（SPA结构） 3.基于状态机实现的举例 4.基于逻辑的形式系统   5.使用动作语言BC的任务规划         参考： 机器人任务规划：从状态机到形式系统

>>阅读原文<<