20 citations · 55 across the 12 of their papers we have counts for
5 papers · 1 filter
Rational Verification for Probabilistic Systems
Julian Gutierrez, Lewis Hammond, Anthony W. Lin +2
Rational verification is the problem of determining which temporal logic properties will hold in a multi-agent system, under the assumption that agents in the system act rationally…
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice
Lewis Hammond, James Fox, Tom Everitt +2
Multi-agent influence diagrams (MAIDs) are a popular form of graphical model that, for certain classes of games, have been shown to offer key complexity and explainability advantag…
Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination
Dongge Han, Wendelin Boehmer, Michael Wooldridge +1
In a multi-agent system, an agent's optimal policy will typically depend on the policies chosen by others. Therefore, a key issue in multi-agent systems research is that of predict…
Synthesising Evolutionarily Stable Normative Systems
Javier Morales, Michael Wooldridge, Juan A. Rodríguez-Aguilar +1
Within the area of multi-agent systems, normative systems are a widely used framework for the coordination of interdependent activities. A crucial problem associated with normative…
Reasoning about Social Choice Functions
Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge
We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture a…