18 citations · 76 across the 19 of their papers we have counts for
3 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 Reinforcement Learning with Temporal Logic Specifications
Lewis Hammond, Alessandro Abate, Julian Gutierrez +1
In this paper, we study the problem of learning to satisfy temporal logic specifications with a group of agents in an unknown environment, which may exhibit probabilistic behaviour…