An Optimization Model for Rigorously Assessing Efficient Heuristics for Traffic Coordination at Intersections | IEEE Conference Publication | IEEE Xplore