Comparative study of MPR selection algorithms based on statistical model checking

MANET (Mobile Ad hoc Network) networks are distinguished by mobile and dynamic infrastructure due to the behavior and random movement of the nodes. Its administration is more difficult and requires more technical and more appropriate routing protocols. The OLSR (Optimized Link State Routing) is one of the most widely used routing protocols for such networks through its proactive behavior that periodically determines the possible and optimal paths from source node to the destination node. This protocol is based on the selection technique of MPR (Multi Point Relay) that selects delegate's nodes to reduce the number of exchanged messages inside the network.