Search Results for author: Lewis Hammond

Found 4 papers, 2 papers with code

Rational Verification for Probabilistic Systems

no code implementations19 Jul 2021 Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael Wooldridge

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, by choosing strategies that collectively form a game-theoretic equilibrium.

Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice

1 code implementation9 Feb 2021 Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael Wooldridge

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 advantages over traditional extensive form game (EFG) representations.

Multi-Agent Reinforcement Learning with Temporal Logic Specifications

1 code implementation1 Feb 2021 Lewis Hammond, Alessandro Abate, Julian Gutierrez, Michael Wooldridge

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.

Multi-agent Reinforcement Learning reinforcement-learning

Learning Tractable Probabilistic Models for Moral Responsibility and Blame

no code implementations8 Oct 2018 Lewis Hammond, Vaishak Belle

From the viewpoint of such systems, the urgent questions are: (a) How can models of moral scenarios and blameworthiness be extracted and learnt automatically from data?

Decision Making Self-Driving Cars

Cannot find the paper you are looking for? You can Submit a new open access paper.