Efficient mixed integer programming for autonomous overtaking | IEEE Conference Publication | IEEE Xplore