Competition and Cooperation Strategy in Multi−agent Systems by Qiu, G, Zhang, Z, Ma, J, Li, M

Delay Robustness in Non-Identical Multi-Agent Systems. by Münz, U, Papachristodoulou, A, Allgöwer, F

“…We provide set-valued conditions for consensus of linear Multi-Agent Systems (MAS) with nonidentical agent dynamics and heterogeneous delays. …”

Consensus in Multi-Agent Systems With Coupling Delays and Switching Topology. by Münz, U, Papachristodoulou, A, Allgöwer, F

“…The robustness of consensus in single integrator multi-agent systems (MAS) to coupling delays and switching topologies is investigated. …”

Rational verification: game-theoretic verification of multi-agent systems by Abate, A, Gutierrez, J, Hammond, L, Harrenstein, P, Kwiatkowska, M, Najib, M, Perelli, G, Steeples, T, Wooldridge, M

“…We provide a survey of the state of the art of rational verification: the problem of checking whether a given temporal logic formula ϕ is satisfied in some or all game-theoretic equilibria of a multi-agent system – that is, whether the system will exhibit the behavior ϕ represents under the assumption that agents within the system act rationally in pursuit of their preferences. …”

Architectural design of a multi-agent system for handling metadata streams. by Cruickshank, D, Moreau, L, Roure, D

Robust Consensus Controller Design for Nonlinear Relative Degree Two Multi-Agent Systems With Communication Constraints. by Münz, U, Papachristodoulou, A, Allgöwer, F

Implementation of a novel multi-agent system for demand response management in low-voltage distribution networks by Davarzani, S, Granell, R, Taylor, G, Pisica, I

“…Therefore, this forms the rationale behind this paper, which aims to implement a multi-agent system framework in order to achieve flexible price-based demand response. …”

Effects of Delay in Multi-Agent Consensus and Oscillator Synchronization. by Papachristodoulou, A, Jadbabaie, A, Münz, U

“…The coordinated motion of multi-agent systems and oscillator synchronization are two important examples of networked control systems. …”

Analysing factorizations of action-value networks for cooperative multi-agent reinforcement learning by Castellini, J, Oliehoek, FA, Savani, R, Whiteson, S

“…Recent years have seen the application of deep reinforcement learning techniques to cooperative multi-agent systems, with great empirical success. However, given the lack of theoretical insight, it remains unclear what the employed neural networks are learning, or how we should enhance their learning power to address the problems on which they fail. …”

Multi-player games with LDL goals over finite traces 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. …”

Off-line synthesis of evolutionarily stable normative systems by Morales, J, Wooldridge, M, Rodríguez-Aguilar, J, López-Sánchez, M

“…Within the area of multi-agent systems, normative systems are a widely used framework for the coordination of interdependent activities. …”

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. We use iterated Boolean games as our abstract model of multi-agent systems [Gutierrez et al. 2013, 2015a]. …”

Aximo: Automated Axiomatic Reasoning for Information Update by Richards, S, Sadrzadeh, M

“…We present an algorithm for proving epistemic properties of dynamic scenarios in multi-agent systems and an implementation of it as the C++ program Aximo. …”

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

“…Reactive Modules is a high-level modelling language for concurrent, distributed, and multi-agent systems, which is used in a number of practical model checking tools. …”

Optimal coalition structures for probabilistically monotone partition function games by Fatima, S, Wooldridge, M

“…For cooperative games with externalities, the problem of optimally partitioning a set of players into disjoint exhaustive coalitions is called <i>coalition structure generation</i>, and is a fundamental computational problem in multi-agent systems. Coalition structure generation is, in general, computationally hard and a large body of work has therefore investigated the development of efficient solutions for this problem. …”

Delay robustness in consensus problems. by Münz, U, Papachristodoulou, A, Allgöwer, F

“…We investigate the robustness of consensus schemes for linear Multi-Agent Systems (MAS) to feedback delays. To achieve this, we develop a unified framework that considers linear MAS models with different feedback delays, e.g. affecting only the neighbor's output, or affecting both the agent's own and its neighbors' output. …”

Existence of ground states for aggregation-diffusion equations by Carrillo de la Plata, JA, Delgadino, MG, Patacchini, FS

“…We analyze free energy functionals for macroscopic models of multi-agent systems interacting via pairwise attractive forces and localized repulsion. …”

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. Players in such a game traverse a graph, while attempting to maximise a (mean-)payoff function that depends on the play generated. …”

On fixpoint logics and equivalences for processes with restricted nondeterminism by Gutierrez, J

“…More specifically, we study the impact that nondeterminism can have on some fixpoint modal logics and bisimulation equivalences for concurrent and multi-agent systems, when it is systematically restricted within the four kinds of behaviours mentioned above. …”

Nash equilibrium and bisimulation invariance by Gutierrez, J, Harrenstein, B, Perelli, G, Wooldridge, M

“…Game theory provides a well-established framework for the analysis of concurrent and multi-agent systems. The basic idea is that concurrent processes (agents) can be understood as corresponding to players in a game; plays represent the possible computation runs of the system; and strategies define the behaviour of agents. …”