research
∙
07/27/2023
Approximate Model-Based Shielding for Safe Reinforcement Learning
Reinforcement learning (RL) has shown great potential for solving comple...
share
research
∙
07/26/2023
Beyond Strict Competition: Approximate Convergence of Multi Agent Q-Learning Dynamics
The behaviour of multi-agent learning in competitive settings is often c...
research
∙
07/26/2023
Stability of Multi-Agent Learning: Convergence in Network Games with Many Players
The behaviour of multi-agent learning in many player games has been show...
research
∙
07/20/2023
Characterising Decision Theories with Mechanised Causal Graphs
How should my own decisions affect my beliefs about the outcomes I expec...
research
∙
04/21/2023
Approximate Shielding of Atari Agents for Safe Exploration
Balancing exploration and conservatism in the constrained setting is an ...
research
∙
01/23/2023
Asymptotic Convergence and Performance of Multi-Agent Q-Learning Dynamics
Achieving convergence of multiple learning agents in general N-player ga...
research
∙
09/28/2022
Argumentative Reward Learning: Reasoning About Human Preferences
We define a novel neuro-symbolic framework, argumentative reward learnin...
research
∙
06/28/2022
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems
We give a relational and a weakest precondition semantics for "knowledge...
research
∙
06/13/2022
A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic
The language of modal logic is capable of expressing first-order conditi...
research
∙
04/19/2022
Model Checking Strategic Abilities in Information-sharing Systems
We introduce a subclass of concurrent game structures (CGS) with imperfe...
research
∙
03/25/2022
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol
We propose a notion of alternating bisimulation for strategic abilities ...
research
∙
01/24/2022
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
In online advertising, search engines sell ad placements for keywords co...
research
∙
12/21/2021
Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding
The growing trend of fledgling reinforcement learning systems making the...
research
∙
10/18/2021
In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications
We address the problem of building agents whose goal is to satisfy out-o...
research
∙
02/04/2021
Aggregating Bipolar Opinions (With Appendix)
We introduce a novel method to aggregate Bipolar Argumentation (BA) Fram...
research
∙
02/02/2021
An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors
Multi-agent reinforcement learning (RL) often struggles to ensure the sa...
research
∙
06/26/2020
A Hennessy-Milner Theorem for ATL with Imperfect Information
We show that a history-based variant of alternating bisimulation with im...
research
∙
06/12/2020
Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning
This paper presents a neuro-symbolic agent that combines deep reinforcem...
research
∙
02/14/2020
Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning
The combination of Formal Methods with Reinforcement Learning (RL) has r...
research
∙
12/12/2019
Formal Verification of Debates in Argumentation Theory
Humans engage in informal debates on a daily basis. By expressing their ...
research
∙
07/22/2019
Social Choice Methods for Database Aggregation
Knowledge can be represented compactly in multiple ways, from a set of p...
research
∙
03/11/2019
Model Checking ATL* on vCGS
We prove that the model checking ATL* on concurrent game structures with...
research
∙
02/23/2018
Database Aggregation
Knowledge can be represented compactly in a multitude ways, from a set o...
research
∙
07/27/2017
Relaxing Exclusive Control in Boolean Games
In the typical framework for boolean games (BG) each player can change t...
research
∙
07/27/2017
A Logic for Global and Local Announcements
In this paper we introduce global and local announcement logic (GLAL), ...
research
∙
04/03/2014
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
In this paper we introduce Epistemic Strategy Logic (ESL), an extension ...
research
∙
01/23/2014
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
We investigate a class of first-order temporal-epistemic logics for reas...
research
∙
01/12/2013