Multi-Vehicle Automated Driving as a Generalized Mixed-Integer Potential Game | Synapse