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...
Päätekijät: | Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M |
---|---|
Aineistotyyppi: | Conference item |
Julkaistu: |
Schloss Dagstuhl
2019
|
Samankaltaisia teoksia
-
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
Tekijä: Gutierrez, J, et al.
Julkaistu: (2020) -
Expressiveness and Nash equilibrium in iterated Boolean games
Tekijä: Gutierrez, J, et al.
Julkaistu: (2021) -
Expressiveness and Nash equilibrium in iterated Boolean games
Tekijä: Gutierrez, J, et al.
Julkaistu: (2016) -
Nash equilibria in concurrent games with lexicographic preferences
Tekijä: Gutierrez, J, et al.
Julkaistu: (2017) -
EVE: A tool for temporal equilibrium analysis
Tekijä: Gutierrez, J, et al.
Julkaistu: (2018)