非确定性环境中移动机器人避障策略的验证——基于形式化建模和概率分析

文件格式： PDF文档

文件大小： 2.96 MB

资源类别：计算机

关键词：验证机器人策略基于概率

进入标准下载页面

本资源下载需 1 点

论文简介

非确定性环境中移动机器人避障策略的验证——基于形式化建模和概率分析

相关推荐