非确定性环境中移动机器人避障策略的验证
——基于形式化建模和概率分析
王 铭1，王 瑞1，李晓娟1，关 永1，张 杰2，魏洪兴3
Verification of mobile robot obstacle avoidance strategies in uncertain environment based on formal modeling and probabilistic analysis
WANG Ming1, WANG Rui1, LI Xiaojuan1, GUAN Yong1, ZHANG Jie2, WEI Hongxing3
计算机工程与应用
.
2016, (10): 31
-38
.
