动态环境下基于概率模型检测的路径规划方法

夏春蕊1，王瑞1，李晓娟1，关永1，张杰2，魏洪兴3

Probabilistic model checking for path planning in dynamic environment

XIA Chunrui1, WANG Rui1, LI Xiaojuan1, GUAN Yong1, ZHANG Jie2, WEI Hongxing3

计算机工程与应用 . 2016, (12): 5 -11 .