Game-Theoretic Model Predictive Control for Safety-Assured Autonomous Vehicle Overtaking in Mixed-Autonomy Environment | IEEE Conference Publication | IEEE Xplore