Network-Formation Games with Regular Objectives
From MaRDI portal
Publication:5410668
DOI10.1007/978-3-642-54830-7_8zbMath1348.91069OpenAlexW2119510884MaRDI QIDQ5410668
Orna Kupferman, Guy Avni, Tami Tamir
Publication date: 16 April 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54830-7_8
Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
Cost-Sharing Scheduling Games on Restricted Unrelated Machines ⋮ Cost-sharing scheduling games on restricted unrelated machines ⋮ Network-formation games with regular objectives ⋮ Synthesis from component libraries with costs ⋮ Cost-sharing games in real-time scheduling systems ⋮ Dynamic Resource Allocation Games
This page was built for publication: Network-Formation Games with Regular Objectives
