A Long-Short-Term Mixed-Integer Formulation for Highway Lane Change Planning | IEEE Journals & Magazine | IEEE Xplore