A Long-Short-Term Mixed-Integer Formulation for Highway Lane Change Planning. - Rudolf Reiter; Armin Nurkanovic; Daniele Bernadini; Moritz Diehl; Alberto Bemporad (CoRR, 2024)