Expressiveness and Nash equilibrium in iterated Boolean games

Expressiveness and Nash equilibrium in iterated Boolean games

Taispeáin leaganacha eile (1)

We introduce and investigate a novel notion of expressiveness related to temporal logics and game theoretic properties of multi-agent systems. We focus on iterated Boolean games, where each agent

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Gutierrez, J, Harrenstein, P, Perelli, G, Wooldridge, M
Formáid:	Conference item
Foilsithe / Cruthaithe:	International Foundation for Autonomous Agents and Multiagent Systems 2016

Míreanna comhchosúla

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

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)

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

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

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

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

Boolean Hedonic Games
de réir: Aziz, H, et al.
Foilsithe / Cruthaithe: (2016)

Characterising the manipulability of Boolean games
de réir: Harrenstein, BP, et al.
Foilsithe / Cruthaithe: (2017)

Hard and Soft Preparation Sets in Boolean Games
de réir: Harrenstein, B, et al.
Foilsithe / Cruthaithe: (2015)

Behavioural strategies in weighted boolean games
de réir: Han, D, et al.
Foilsithe / Cruthaithe: (2020)

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

Electric Boolean Games: Redistribution Schemes for Resource-Bounded Agents.
de réir: Harrenstein, P, et al.
Foilsithe / Cruthaithe: (2015)

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

Equilibrium design for concurrent games
de réir: Gutierrez, J, et al.
Foilsithe / Cruthaithe: (2019)

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

GuaranteeNash for Boolean games is NEXP−hard
de réir: Ianovski, E, et al.
Foilsithe / Cruthaithe: (2014)

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

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

Uniqueness of Nash equilibrium in vaccination games
de réir: Fan Bai
Foilsithe / Cruthaithe: (2016-01-01)

Incentive Engineering for Boolean Games.
de réir: Endriss, U, et al.
Foilsithe / Cruthaithe: (2011)

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

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

Rational Verification in Iterated Electric Boolean Games
de réir: Youssouf Oualhadj, et al.
Foilsithe / Cruthaithe: (2016-07-01)

Synthesis of controllable nash equilibria in games with quantitative objectives
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2018)

Characterization of Nash Equilibrium Strategy for Heptagonal Fuzzy Games
de réir: F. Madandar, et al.
Foilsithe / Cruthaithe: (2018-05-01)

Characterization of Nash Equilibrium Strategy for Heptagonal Fuzzy Games
de réir: F. Madandar, et al.
Foilsithe / Cruthaithe: (2018-05-01)

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

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

Operant Matching as a Nash Equilibrium of an Intertemporal Game
de réir: Loewenstein, Yonatan, et al.
Foilsithe / Cruthaithe: (2011)

Nash equilibrium seeking for N-coalition noncooperative games
de réir: Ye, Maojiao, et al.
Foilsithe / Cruthaithe: (2020)

Geometry of Nash Equilibrium in Quantum Hawk-Dove Games
de réir: Faisal Shah Khan
Foilsithe / Cruthaithe: (2011-08-01)

Infinitely split Nash equilibrium problems in repeated games
de réir: Jinlu Li
Foilsithe / Cruthaithe: (2018-04-01)

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

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
de réir: Bradfield, J, et al.
Foilsithe / Cruthaithe: (2015)

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

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

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)

Nash equilibrium set function in dyadic mixed-strategy games
de réir: Valeriu Ungureanu
Foilsithe / Cruthaithe: (2017-02-01)