Optimization of electric bus dispatching interval considering stochastic traffic conditions | Synapse