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...
Main Authors: | Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M |
---|---|
Format: | Conference item |
Udgivet: |
Schloss Dagstuhl
2019
|
Lignende værker
-
Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
af: Gutierrez, J, et al.
Udgivet: (2020) -
Expressiveness and Nash equilibrium in iterated Boolean games
af: Gutierrez, J, et al.
Udgivet: (2021) -
Expressiveness and Nash equilibrium in iterated Boolean games
af: Gutierrez, J, et al.
Udgivet: (2016) -
Nash equilibria in concurrent games with lexicographic preferences
af: Gutierrez, J, et al.
Udgivet: (2017) -
EVE: A tool for temporal equilibrium analysis
af: Gutierrez, J, et al.
Udgivet: (2018)