pith. sign in

arxiv: 1202.4506 · v1 · pith:OXTBKKZMnew · submitted 2012-02-21 · 💻 cs.GT · cs.FL· cs.NI

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

Peter Bulychev (Aalborg University , Denmark) , Alexandre David (Aalborg University , Kim G. Larsen (Aalborg University , Axel Legay (INRIA Rennes , France/Aalborg University , Marius Miku\v{c}ionis (Aalborg University This is my paper
classification 💻 cs.GT cs.FLcs.NI
keywords beencomputingcsmaequilibriummethodmodelnashnetworks
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.