Equilibrium design for concurrent games

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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M
Formáid:	Conference item
Foilsithe / Cruthaithe:	Schloss Dagstuhl 2019

Míreanna comhchosúla

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2020)

Expressiveness and Nash equilibrium in iterated Boolean games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2021)

Expressiveness and Nash equilibrium in iterated Boolean games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2016)

Nash equilibria in concurrent games with lexicographic preferences
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

EVE: A tool for temporal equilibrium analysis
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2018)

Cooperative Concurrent Games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

Cooperative concurrent games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2022)

Equilibria of concurrent games on event structures
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2014)

Nash equilibrium and bisimulation invariance
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

Nash equilibrium and bisimulation invariance
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Iterated games with LDL goals
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Imperfect information in reactive modules games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2016)

Imperfect information in Reactive Modules games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2018)

Iterated games with LDL goals over finite traces
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Nash Equilibrium and Bisimulation Invariance
de réir: Julian Gutierrez, et al.
Foilsithe / Cruthaithe: (2019-09-01)

Multi-player games with LDL goals over finite traces
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

Reasoning about equilibria in game-like concurrent systems
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2014)

Reasoning about equilibria in game-like concurrent systems
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2016)

A tool for the automated verification of Nash equilibria in concurrent games
de réir: Toumi, A, et al.
Foilsithe / Cruthaithe: (2015)

Rational verification: from model checking to equilibrium checking
de réir: Wooldridge, M, et al.
Foilsithe / Cruthaithe: (2016)

Defense coordination in security games: equilibrium analysis and mechanism design
de réir: Gan, J, et al.
Foilsithe / Cruthaithe: (2022)

On computational tractability for rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

On the complexity of rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2022)

Rational verification: game-theoretic verification of multi-agent systems
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2021)

Borel determinacy of concurrent games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2013)

The winning ways of concurrent games
de réir: Clairambault, P, et al.
Foilsithe / Cruthaithe: (2012)

Imperfect information in logic and concurrent games
de réir: Clairambault, P, et al.
Foilsithe / Cruthaithe: (2013)

Concurrent logic games on partial orders
de réir: Gutierrez, J
Foilsithe / Cruthaithe: (2011)

A mathematical game semantics of concurrency and nondeterminism
de réir: Gutierrez, J
Foilsithe / Cruthaithe: (2015)

Logics and bisimulation games for concurrency, causality and conflict
de réir: Gutierrez, J
Foilsithe / Cruthaithe: (2009)

From model checking to equilibrium checking: reactive modules for rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

On the determinacy of concurrent games on event structures with infinite winning sets
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2014)

Iterated Boolean games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2013)

Iterated Boolean games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2015)

Iterated Boolean games for rational verification
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2017)

Mean-payoff games with ω-regular specifications
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2022)

Automated verification of concurrent stochastic games
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2018)

Mechanism design for defense coordination in security games
de réir: Gan, J, et al.
Foilsithe / Cruthaithe: (2020)

Concurrent Interaction Games
de réir: Abramsky, S
Foilsithe / Cruthaithe: (2000)

Partial order games
de réir: Zahoransky, V, et al.
Foilsithe / Cruthaithe: (2021)