Cooperative concurrent games by Gutierrez, J, Kowara, S, Kraus, S, Steeples, T, Wooldridge, M

“…We begin by presenting a variant of the core that seems well-suited to the concurrent game setting, and we show that this version of the core can be characterised using ATL⁎. …”

Iterated Boolean games by Gutierrez, J, Harrenstein, B, Wooldridge, M

“…Iterated games are well-known in the game theory literature. …”

Partial order games by Zahoransky, V, Gutierrez, J, Harrenstein, B, Wooldridge, M

“…We introduce a non-cooperative game model in which players’ decision nodes are par- tially ordered by a dependence relation, which directly captures informational dependencies in the game. …”

Cooperative Concurrent Games by Gutierrez, J, Kraus, S, Wooldridge, M

Iterated Boolean games by Gutierrez, J, Harrenstein, P, Wooldridge, M

“…Iterated games are well-known in the game theory literature. …”

Borel determinacy of concurrent games by Gutierrez, J, Winskel, G

“…Just as traditional games can be represented by trees, so concurrent games can be represented by event structures. …”

Equilibrium design for concurrent games by Gutierrez, J, Najib, M, Perelli, G, Wooldridge, M

“…In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. …”

The winning ways of concurrent games by Clairambault, P, Gutierrez, J, Winskel, G

“…A bicategory of concurrent games, where nondeterministic strategies are formalized as certain maps of event structures, was introduced recently. …”

Iterated games with LDL goals by Gutierrez, J, Perelli, G, Wooldridge, M

“…This study builds upon a generalisation of Boolean games, a logic-based game model of multi-agent systems where players have goals succinctly represented in a logical way. …”

Equilibria of concurrent games on event structures by Gutierrez, J, Wooldridge, M

“…Event structures form a canonical model of concurrent behaviour which has a natural game-theoretic interpretation. This game-based interpretation was initially given for zero-sum concurrent games. …”

Imperfect information in reactive modules games by Gutierrez, J, Perelli, G, Wooldridge, M

“…Reactive Modules Games with perfect information have been closely studied, and the complexity of game theoretic decision problems relating to such games have been comprehensively classified. …”

Imperfect information in Reactive Modules games by Gutierrez, J, Perelli, G, Wooldridge, M

“…Reactive Modules Games with perfect information have been extensively studied, and the complexity of game theoretic decision problems relating to such games (such as the existence of Nash equilibria) have been comprehensively classified. …”

𝑘-prize weighted voting games by Harrenstein, B, Hyland, D, Lee, WC, Elkind, E, Gan, J, Abate, A, Gutierrez, J, Wooldridge, M

“…We introduce a natural variant of weighted voting games, which we refer to as k-Prize Weighted Voting Games. …”

Concurrent logic games on partial orders by Gutierrez, J

“…Most games for analysing concurrent systems are played on interleaving models, such as graphs or infinite trees. …”

Imperfect information in logic and concurrent games by Clairambault, P, Gutierrez, J, Winskel, G

“…This paper builds on a recent definition of concurrent games as event structures and an application giving a concurrent-game model for predicate calculus. …”

Iterated Boolean games for rational verification by Gutierrez, J, Gao, T, Wooldridge, M

“…Rational verification is the problem of understanding what temporal logic properties hold of a multi-agent system when agents are modelled as players in a game, each acting rationally in pursuit of personal preferences. …”

Expressiveness and Nash equilibrium in iterated Boolean games by Gutierrez, J, Harrenstein, P, Perelli, G, Wooldridge, M

“…We define and investigate a novel notion of expressiveness for temporal logics that is based on game theoretic equilibria of multi-agent systems. …”

Nash equilibria in concurrent games with lexicographic preferences by Gutierrez, J, Murano, A, Perelli, G, Rubin, S, Wooldridge, M

“…In particular, we show that deciding the existence of a strict Nash equilibrium in such games is decidable, even if players’ deviations are implemented as infinite memory strategies.…”

Mean-payoff games with ω-regular specifications by Gutierrez, J, Steeples, T, Wooldridge, M

“…Multi-player mean-payoff games are a natural formalism for modelling the behaviour of concurrent and multi-agent systems with self-interested players. …”

Expressiveness and Nash equilibrium in iterated Boolean games by Gutierrez, J, Harrenstein, P, Perelli, G, Wooldridge, M

“…We focus on iterated Boolean games, where each agent …”