STIP: Spatio-temporal intersection protocols for autonomous vehicles | Synapse