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

目录

1.机器人任务规划

2.典型的服务机器人系统（SPA结构）

3.基于状态机实现的举例

4.基于逻辑的形式系统

5.使用动作语言BC的任务规划

参考：

 

 

---

 

1.机器人任务规划

2.典型的服务机器人系统（SPA结构）

3.基于状态机实现的举例

4.基于逻辑的形式系统

 

5.使用动作语言BC的任务规划

 

 

 

 

参考：

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