Speed Trajectory Optimization for a Heavy-Duty Truck Traversing Multiple Signalized Intersections: A Dynamic Programming Study | IEEE Conference Publication | IEEE Xplore