Temporal vs. spatial formulation of autonomous overtaking algorithms | IEEE Conference Publication | IEEE Xplore