Network-formation games with regular objectives

Guy Avni, Orna Kupferman, Tami Tamir

Research output: Contribution to journalArticlepeer-review


Classical network-formation games are played on a directed graph. Players have reachability objectives: each player has to select a path from his source to target vertices. Each edge has a cost, shared evenly by the players using it. We introduce and study network-formation games with regular objectives. In our setting, the edges are labeled by alphabet letters and the objective of each player is a regular language over the alphabet of labels. Unlike the case of reachability objectives, here the paths selected by the players need not be simple, thus a player may traverse some edges several times. Edge costs are shared by the players with the share being proportional to the number of times the edge is traversed. We study the existence of a pure Nash equilibrium (NE), the inefficiency of a NE compared to a social-optimum solution, and computational complexity problems in this setting.

Original languageEnglish
Pages (from-to)165-178
Number of pages14
JournalInformation and Computation
StatePublished - 1 Dec 2016
Externally publishedYes

Bibliographical note

Publisher Copyright:
© 2016 Elsevier Inc.


  • Inefficiency
  • Nash equilibria
  • Network-formation games
  • On-going behaviors
  • Weighted automata

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics


Dive into the research topics of 'Network-formation games with regular objectives'. Together they form a unique fingerprint.
  • Network-formation games with regular objectives

    Avni, G., Kupferman, O. & Tamir, T., 2014, Foundations of Software Science and Computation Structures - 17th Int. Conf., FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 119-133 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8412 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access

Cite this