STIP: Spatio-temporal intersection protocols for autonomous vehicles | IEEE Conference Publication | IEEE Xplore