Conic Approximation with Provable Guarantee for Traffic Signal Offset Optimization | IEEE Conference Publication | IEEE Xplore