Controlling a network of signalized intersections from temporal logical specifications | IEEE Conference Publication | IEEE Xplore