An Algorithmic Approach to 4-way Autonomous Intersection Management | Synapse