Simulation-based synthesis for approximately optimal urban traffic light management | IEEE Conference Publication | IEEE Xplore