Reducing idling at red lights based on probabilistic prediction of traffic signal timings | IEEE Conference Publication | IEEE Xplore