Optimizing Stochastic Task Migration in Vehicular Edge Computing | IEEE Conference Publication | IEEE Xplore