Optimal Electric Bus Scheduling under Travel Time Uncertainty: A Robust Model and Solution Method. (20th December 2021)