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