Our earlier research considered model predictive control (MPC) with signal spatio-temporal logic constraints to optimize traffic signals at an intersection. However, this approach has a restrictive ...