A probabilistic model for vehicle scheduling based on stochastic trip times /Yindong Shen a , b , ∗ , Jia Xu a , b , Jingpeng Li c - Shen,Yindong