Agile Mixed-Integer-Based Lane-Change MPC for Collision-Free and Efficient Autonomous Driving. - Alexander L. Gratzer; Alexander Schmiedhofer; Alexander Schirrer; Stefan Jakubek (IEEE Trans. Intell. Veh., 2025)