Equilibrium design for concurrent games
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we study the design of incentives so that a desirable equilibrium is obtained, for instance, an equilibrium satisfying a given temporal logic property—a p...
Автори: | Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M |
---|---|
Формат: | Conference item |
Опубліковано: |
Schloss Dagstuhl
2019
|
Схожі ресурси
-
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
за авторством: Gutierrez, J, та інші
Опубліковано: (2020) -
Expressiveness and Nash equilibrium in iterated Boolean games
за авторством: Gutierrez, J, та інші
Опубліковано: (2021) -
Expressiveness and Nash equilibrium in iterated Boolean games
за авторством: Gutierrez, J, та інші
Опубліковано: (2016) -
Nash equilibria in concurrent games with lexicographic preferences
за авторством: Gutierrez, J, та інші
Опубліковано: (2017) -
EVE: A tool for temporal equilibrium analysis
за авторством: Gutierrez, J, та інші
Опубліковано: (2018)