research
∙
07/11/2023
Incentive Engineering for Concurrent Games
We consider the problem of incentivising desirable behaviours in multi-a...
share
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/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
∙
07/06/2022
On the Complexity of Rational Verification
Rational verification refers to the problem of checking which temporal l...
research
∙
04/04/2022
The Potential Method For Price-Formation Models
We consider the mean-field game price formation model introduced by Gome...
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/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
∙
08/28/2018