MPC-Based Speed Tracking for Automated Urban Buses Performing V2I Communications with Traffic Lights | IEEE Conference Publication | IEEE Xplore