Automated temporal equilibrium analysis: Verification and synthesis of multi-player games

Automated temporal equilibrium analysis: Verification and synthesis of multi-player games

In the context of multi-agent systems, the rational verification problem is concerned with checking which temporal logic properties will hold in a system when its constituent agents are assumed to behave rationally and strategically in pursuit of individual objectives. Typically, those objectives ar...

書誌詳細
主要な著者:	Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M
フォーマット:	Journal article
言語:	English
出版事項:	Elsevier 2020

類似資料

Equilibrium design for concurrent games
著者:: Gutierrez, J, 等
出版事項: (2019)

EVE: A tool for temporal equilibrium analysis
著者:: Gutierrez, J, 等
出版事項: (2018)

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

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

Expressiveness and Nash equilibrium in iterated Boolean games
著者:: Gutierrez, J, 等
出版事項: (2021)

Expressiveness and Nash equilibrium in iterated Boolean games
著者:: Gutierrez, J, 等
出版事項: (2016)

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

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

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

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

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
著者:: Kwiatkowska, M, 等
出版事項: (2017)

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

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

Local equilibria in logic-based multi-player games
著者:: Gutierrez, J, 等
出版事項: (2018)

Multi-player equilibria verification for concurrent stochastic games
著者:: Kwiatkowska, M, 等
出版事項: (2020)

Iterated Boolean games for rational verification
著者:: 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)

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

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

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

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

Nash equilibria in concurrent games with lexicographic preferences
著者:: Gutierrez, J, 等
出版事項: (2017)

A multi-player game equilibrium problem based on stochastic variational inequalities
著者:: Cunlin Li, 等
出版事項: (2024-09-01)

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

Reputation and equilibrium selection in games with a patient player
著者:: Fudenberg, Drew, 等
出版事項: (2011)

Strategies and Equilibrium in a Game with a Moral Player
著者:: Katarina Kostelić, 等
出版事項: (2021-11-01)

Study of Nash equilibrium by increasing game parameters in 3-player quantum game
著者:: H Goudarzi, 等
出版事項: (2013-03-01)

Alternating Inertial and Overrelaxed Algorithms for Distributed Generalized Nash Equilibrium Seeking in Multi-Player Games
著者:: Zhangcheng Feng, 等
出版事項: (2021-06-01)

Positive harmony transformations and equilibrium selection in two-player games
著者:: Zizzo, D
出版事項: (2004)

Positive Harmony Transformations and Equilibrium Selection in Two-Player Games.
著者:: Zizzo, D
出版事項: (2004)

Quantitative verification and strategy synthesis of stochastic games
著者:: Svorenova, M, 等
出版事項: (2016)

Rational verification in multi-agent systems
著者:: Najib, M
出版事項: (2019)

St-Hot: A Prospect of Price Equilibrium in a Multi-Player Game for Electric Vehicle Charging Application
著者:: Ajay Kumar Gupta, 等
出版事項: (2024-01-01)

Successful Nash Equilibrium Agent for a Three-Player Imperfect-Information Game
著者:: Sam Ganzfried, 等
出版事項: (2018-06-01)

Synthesis of controllable nash equilibria in games with quantitative objectives
著者:: Almagor, S, 等
出版事項: (2018)

Symbolic verification and strategy synthesis for turn-based stochastic games
著者:: Kwiatkowska, M, 等
出版事項: (2022)

Electronic design automation : synthesis, verification, and test /
著者:: Wang, Laung-Terng, 等
出版事項: (2009)

Player-compatible learning and player-compatible equilibrium
著者:: Fudenberg, Drew, 等
出版事項: (2022)