A Robust Traffic Flow Control Using Connected Vehicle Technology: Signal Spatio-Temporal Logic-Based Approach | IEEE Journals & Magazine | IEEE Xplore