A Tube-MPC Approach to Autonomous Multi-Vehicle Racing on High-Speed Ovals | IEEE Journals & Magazine | IEEE Xplore