An abstraction-refinement methodology for reasoning about network games

DOI10.3390/g9030039zbMath1418.91097MaRDI QIDQ1630443

Orna Kupferman, Guy Avni, Shibashis Guha

Publication date: 10 December 2018

Published in: Games (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3390/g9030039

zbMATH Keywords

Nash equilibrium; social optimum; network formation games; abstraction-refinement

Mathematics Subject Classification ID

91A43: Games involving graphs

68Q45: Formal languages and automata

05C57: Games on graphs (graph-theoretic aspects)

Uses Software

• NetworkX
• GameShrink