6 citations · 6 across the 1 of their papers we have counts for
4 papers
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…
Learning Tractable Probabilistic Models for Moral Responsibility and Blame
Lewis Hammond, Vaishak Belle
Moral responsibility is a major concern in autonomous systems, with applications ranging from self-driving cars to kidney exchanges. Although there have been recent attempts to for…