Double-lane change optimization for a stochastic vehicle model subject to collision probability constraints | IEEE Conference Publication | IEEE Xplore