Set-Theoretic Receding Horizon Control for Obstacle Avoidance and Overtaking in Autonomous Highway Driving. - Gianni Cario; Valentino Carriuolo; Alessandro Casavola; Gianfranco Gagliardi; Marco Lupia; Franco Angelo Torchiaro (CoRR, 2026)