Abstract Wireless Mesh Networks (WMNs) are self-organising ad-hoc networks that support
broadband communication. Due to changes in the topology, route discovery and
maintenance play a crucial role in the reliability and the performance of such networks.
Formal analysis of WMNs using exhaustive model checking techniques is often not feasible:
network size (up to hundreds of nodes) and topology changes yield state-space explosion.
Statistical Model Checking, however, can overcome this problem and allows a quantitative …