Open Access iconOpen Access


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

Honghao Gao1, 2, 5, Wanqiu Huang1, 4, Xiaoxian Yang3

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, email


  • 9907


  • 1413


  • 0


Share Link