Timed network games

Guy Avni*, Shibashis Guha, Orna Kupferman

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


Network games are widely used as a model for selfish resource-allocation problems. The classical model abstracts the fact that different users may use a resource at different times and for different duration – factors that play an important role in determining the costs of the users in reality. We consider here timed network games, which add time to network games. Each vertex v in the network is associated with a cost function, mapping the load on v to the price that a player pays for staying in v for one time unit with this load. The network is equipped with clocks, and, as in timed automata, edges are guarded by constraints on the values of the clocks, and their traversal may involve resetting some clocks. We also study the fragment of network games with a single clock that is not reset and thus keeps track only of the global time elapsed.

Original languageAmerican English
Article number104996
Pages (from-to)1-27
Number of pages27
JournalInformation and Computation
StatePublished - Jan 2023

Bibliographical note

Funding Information:
Work partially supported by the Israel Science Foundation, ISF grant agreement no 1679/21.Work partially supported by the Department of Science and Technology, India, DST-SERB grant SRG/2021/000466.Work partially supported by the Israel Science Foundation, ISF grant agreement no 2357/19, ERC Advanced grant ADVANSYNT.

Publisher Copyright:
© 2022 Elsevier Inc.


  • Equilibrium inefficiency
  • Nash equilibrium
  • Network games
  • Timed automata


Dive into the research topics of 'Timed network games'. Together they form a unique fingerprint.

Cite this