The Key Lab of Health Chemistry and Molecular Diagnosis of Suzhou, College of Chemistry, Chemical Engineering and Materials Science, Soochow University, Suzhou, 215123, P. R. China ...

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 ...