Probabilistic flooding is commonly considered in vehicular ad-hoc networks (VANETs) to alleviate the celebrated broadcast storm problem. Heuristics and simulations have so far proved to be an efficient way with which to ...