150 citations · 274 across the 7 of their papers we have counts for
1 paper · 1 filter
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…