Verification of Explicit Model Predictive Control Through Double-Lane-Change Maneuver | IEEE Conference Publication | IEEE Xplore