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

書誌詳細
主要な著者:	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)

Cooperative Concurrent Games
著者:: Gutierrez, J, 等
出版事項: (2019)

Cooperative concurrent games
著者:: Gutierrez, J, 等
出版事項: (2022)

Equilibria of concurrent games on event structures
著者:: Gutierrez, J, 等
出版事項: (2014)

Nash equilibrium and bisimulation invariance
著者:: Gutierrez, J, 等
出版事項: (2019)

Nash equilibrium and bisimulation invariance
著者:: Gutierrez, J, 等
出版事項: (2017)

Iterated games with LDL goals
著者:: Gutierrez, J, 等
出版事項: (2017)

Imperfect information in reactive modules games
著者:: Gutierrez, J, 等
出版事項: (2016)

Imperfect information in Reactive Modules games
著者:: Gutierrez, J, 等
出版事項: (2018)

Iterated games with LDL goals over finite traces
著者:: Gutierrez, J, 等
出版事項: (2017)

Nash Equilibrium and Bisimulation Invariance
著者:: Julian Gutierrez, 等
出版事項: (2019-09-01)

Multi-player games with LDL goals over finite traces
著者:: Gutierrez, J, 等
出版事項: (2019)

Reasoning about equilibria in game-like concurrent systems
著者:: Gutierrez, J, 等
出版事項: (2014)

Reasoning about equilibria in game-like concurrent systems
著者:: Gutierrez, J, 等
出版事項: (2016)

A tool for the automated verification of Nash equilibria in concurrent games
著者:: Toumi, A, 等
出版事項: (2015)

Rational verification: from model checking to equilibrium checking
著者:: Wooldridge, M, 等
出版事項: (2016)

Defense coordination in security games: equilibrium analysis and mechanism design
著者:: Gan, J, 等
出版事項: (2022)

On computational tractability for rational verification
著者:: Gutierrez, J, 等
出版事項: (2019)

On the complexity of rational verification
著者:: Gutierrez, J, 等
出版事項: (2022)

Rational verification: game-theoretic verification of multi-agent systems
著者:: Abate, A, 等
出版事項: (2021)

Borel determinacy of concurrent games
著者:: Gutierrez, J, 等
出版事項: (2013)

The winning ways of concurrent games
著者:: Clairambault, P, 等
出版事項: (2012)

Imperfect information in logic and concurrent games
著者:: Clairambault, P, 等
出版事項: (2013)

Concurrent logic games on partial orders
著者:: Gutierrez, J
出版事項: (2011)

A mathematical game semantics of concurrency and nondeterminism
著者:: Gutierrez, J
出版事項: (2015)

Logics and bisimulation games for concurrency, causality and conflict
著者:: Gutierrez, J
出版事項: (2009)

From model checking to equilibrium checking: reactive modules for rational verification
著者:: Gutierrez, J, 等
出版事項: (2017)

On the determinacy of concurrent games on event structures with infinite winning sets
著者:: Gutierrez, J, 等
出版事項: (2014)

Iterated Boolean games
著者:: Gutierrez, J, 等
出版事項: (2013)

Iterated Boolean games
著者:: Gutierrez, J, 等
出版事項: (2015)

Iterated Boolean games for rational verification
著者:: Gutierrez, J, 等
出版事項: (2017)

Mean-payoff games with ω-regular specifications
著者:: Gutierrez, J, 等
出版事項: (2022)

Automated verification of concurrent stochastic games
著者:: Kwiatkowska, M, 等
出版事項: (2018)

Mechanism design for defense coordination in security games
著者:: Gan, J, 等
出版事項: (2020)

Concurrent Interaction Games
著者:: Abramsky, S
出版事項: (2000)

Partial order games
著者:: Zahoransky, V, 等
出版事項: (2021)