Open Access iconOpen Access

ARTICLE

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

TSP_IASC_100000110.pdf

  • 9907

    View

  • 1413

    Download

  • 0

    Like

Share Link