Performance Guarantees on Machine-Learning-based Overtaking Strategies for Autonomous Vehicles | IEEE Conference Publication | IEEE Xplore