Multi-Vehicle Automated Driving as a Generalized Mixed-Integer Potential Game | IEEE Journals & Magazine | IEEE Xplore