A semi-Markov decision process-based computation offloading strategy in vehicular networks | IEEE Conference Publication | IEEE Xplore