Fuel optimal vehicle control via traffic light prediction | IEEE Conference Publication | IEEE Xplore