We gratefully acknowledge support from
the Simons Foundation and member institutions.

Peter Höfner and Rob van Glabbeek are qualified to endorse.

A Rigorous Analysis of AODV and its Variants

Peter Höfner: Is registered as an author of this paper.
Can endorse for cs.LO. (why?)
Rob van Glabbeek: Is registered as an author of this paper.
Can endorse for cs.DC, cs.LO, cs.NI. (why?)

Wee Lum Tan, Marius Portmann, Annabelle McIver and Ansgar Fehnker are not registered as owners of this paper. (why?)