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
Computer Engineering and Applications . 2016, (10): 31 -38 . 

京ICP备13024262号-1
Copyright © Computer Engineering and Applications
Powered by Beijing Magtech Co., Ltd.
Total visitors:
Visitors of today:
Now online: