Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
Peter Bulychev (Aalborg University, Denmark), Alexandre David (Aalborg, University, Denmark), Kim G. Larsen (Aalborg University, Denmark), Axel Legay, (INRIA Rennes, France/Aalborg University, Denmark), Marius Miku\v{c}ionis, (Aalborg University, Denmark)
TL;DR
This paper presents a simulation-based method using Statistical Model Checking, implemented in UPPAAL, to compute Nash equilibria in wireless networks modeled by Weighted Timed Automata, analyzing protocols like Aloha and IEEE 802.15.4.
Contribution
It introduces a novel approach for computing Nash equilibria in complex wireless network models using statistical techniques and formal verification tools.
Findings
Successfully applied to Aloha CSMA/CD protocol
Analyzed IEEE 802.15.4 CSMA/CA protocol
Demonstrated effectiveness of the method in network analysis
Abstract
This paper studies the problem of computing Nash equilibrium in wireless networks modeled by Weighted Timed Automata. Such formalism comes together with a logic that can be used to describe complex features such as timed energy constraints. Our contribution is a method for solving this problem using Statistical Model Checking. The method has been implemented in UPPAAL model checker and has been applied to the analysis of Aloha CSMA/CD and IEEE 802.15.4 CSMA/CA protocols.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.