Open Access

ARTICLE

Applying Probabilistic Model Checking to Path Planning in an Intelligent Transportation System Using Mobility Trajectories and Their Statistical Data

Honghao Gao^{1, 2, 5}, Wanqiu Huang^{1, 4}, Xiaoxian Yang³

1 School of Computer Engineering and Science, Shanghai University, Shanghai, China;
2 Computing Center, Shanghai University, Shanghai, 200444, P.R. China;
3 School of Computer and Information Engineering, Shanghai Polytechnic University, Shanghai, China;
4 Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai, China;
5 Shanghai Shang Da Hai Run Information System Co., Ltd, Shanghai, China

* Corresponding Author: Xiaoxian Yang,