V2X Routing in a VANET Based on the Hidden Markov Model | Synapse