Optimizing HTTP-Based Adaptive Streaming in Vehicular Environment Using Markov Decision Process | IEEE Journals & Magazine | IEEE Xplore