The analytical modeling related to P(At) in the context of wireless networks with random mobility has been widely investigated in the literature (e.g., [15 17]).
a wireless network with a random node distribution can be modeled as a random geometric graph, and P(At) is a function of node density, mobility model, and network size.