research
∙
08/28/2023
Cognitive Effects in Large Language Models
Large Language Models (LLMs) such as ChatGPT have received enormous atte...
share
research
∙
07/11/2023
Incentive Engineering for Concurrent Games
We consider the problem of incentivising desirable behaviours in multi-a...
research
∙
07/11/2023
On Imperfect Recall in Multi-Agent Influence Diagrams
Multi-agent influence diagrams (MAIDs) are a popular game-theoretic mode...
research
∙
07/03/2023
Some challenges of calibrating differentiable agent-based models
Agent-based models (ABMs) are a promising approach to modelling and reas...
research
∙
06/05/2023
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
In game theory, mechanism design is concerned with the design of incenti...
research
∙
05/24/2023
Bayesian calibration of differentiable agent-based models
Agent-based modelling (ABMing) is a powerful and intuitive approach to m...
research
∙
05/17/2023
Principal-Agent Boolean Games
We introduce and study a computational version of the principal-agent pr...
research
∙
02/27/2023
k-Prize Weighted Voting Games
We introduce a natural variant of weighted voting games, which we refer ...
research
∙
01/15/2023
Cooperative Concurrent Games
In rational verification, the aim is to verify which temporal logic prop...
research
∙
01/05/2023
Reasoning about Causality in Games
Causal reasoning and game-theoretic reasoning are fundamental topics in ...
research
∙
08/25/2022
Learning Task Automata for Reinforcement Learning using Hidden Markov Models
Training reinforcement learning (RL) agents using scalar reward signals ...
research
∙
07/06/2022
On the Complexity of Rational Verification
Rational verification refers to the problem of checking which temporal l...
research
∙
12/27/2021
Multiagent Model-based Credit Assignment for Continuous Control
Deep reinforcement learning (RL) has recently shown great promise in rob...
research
∙
10/18/2021
MDP Abstraction with Successor Features
Abstraction plays an important role for generalisation of knowledge and ...
research
∙
07/19/2021
Rational Verification for Probabilistic Systems
Rational verification is the problem of determining which temporal logic...
research
∙
06/18/2021
Equilibrium Design for Concurrent Games
In game theory, mechanism design is concerned with the design of incenti...
research
∙
02/09/2021
Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice
Multi-agent influence diagrams (MAIDs) are a popular form of graphical m...
research
∙
02/01/2021
Multi-Agent Reinforcement Learning with Temporal Logic Specifications
In this paper, we study the problem of learning to satisfy temporal logi...
research
∙
08/13/2020
Multi-Player Games with LDL Goals over Finite Traces
Linear Dynamic Logic on finite traces LDLf is a powerful logic for reaso...
research
∙
08/13/2020
Equilibria for Games with Combined Qualitative and Quantitative Objectives
The overall aim of our research is to develop techniques to reason about...
research
∙
08/13/2020
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
In the context of multi-agent systems, the rational verification problem...
research
∙
06/25/2020
Replication-Robust Payoff-Allocation with Applications in Machine Learning Marketplaces
The ever-increasing take-up of machine learning techniques requires ever...
research
∙
12/31/2019
Monte Carlo Techniques for Approximating the Myerson Value – Theoretical and Empirical Analysis
Myerson first introduced graph-restricted games in order to model the in...
research
∙
10/21/2019
Multi-agent Hierarchical Reinforcement Learning with Dynamic Termination
In a multi-agent system, an agent's optimal policy will typically depend...
research
∙
05/28/2019
Manipulating a Learning Defender and Ways to Counteract
In Stackelberg security games, information about the attacker's type (i....
research
∙
03/07/2019
Imitative Follower Deception in Stackelberg Games
Uncertainty is one of the major challenges facing applications of game t...
research
∙
08/28/2018
Nash Equilibrium and Bisimulation Invariance
Game theory provides a well-established framework for the analysis of co...
research
∙
05/22/2018
Understanding Flash Crash Contagion and Systemic Risk: A Micro-Macro Agent-Based Approach
The purpose of this paper is to advance the understanding of the conditi...
research
∙
12/31/2017
Game-theoretic Network Centrality: A Review
Game-theoretic centrality is a flexible and sophisticated approach to id...
research
∙
10/02/2017
Synthesising Evolutionarily Stable Normative Systems
Within the area of multi-agent systems, normative systems are a widely u...
research
∙
03/27/2017
Automating decision making to help establish norm-based regulations
Norms have been extensively proposed as coordination mechanisms for both...
research
∙
09/23/2015
Boolean Hedonic Games
We study hedonic games with dichotomous preferences. Hedonic games are c...
research
∙
01/16/2014