Multi-Intersection Traffic Management for Autonomous Vehicles via Distributed Mixed Integer Linear Programming | IEEE Conference Publication | IEEE Xplore