14 citations · 14 across the 1 of their papers we have counts for
1 paper
Peter Bulychev, Alexandre David, Kim G. Larsen +2
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…