For reliable traffic control at signalized crossings, this study examines the traffic signal optimization problem using formal methods. Our earlier research considered model predictive control (MPC) ...