%0 Journal Article %A Gao, Honghao %A Huang, Wanqiu %A Yang, Xiaoxian %D 2019 %J Intelligent Automation \& Soft Computing %@ 2326-005X %V 25 %N 3 %P 547--559 %T Applying Probabilistic Model Checking to Path Planning in an Intelligent Transportation System Using Mobility Trajectories and Their Statistical Data %M doi:10.31209/2019.100000110 %U http://www.techscience.com/iasc/v25n3/39684