Francesco Belardinelli | DeepAI

DeepAI AI Chat

Featured Co-authors

Rui Li
107 publications
Georgios Piliouras
78 publications
Francesca Toni
56 publications
Murray Shanahan
27 publications
Tom Everitt
25 publications
Hans van Ditmarsch
24 publications
Aniello Murano
24 publications
Wojciech Jamroga
17 publications
Umberto Grandi
16 publications
Emiliano Lorini
13 publications
Fabio Patrizi
12 publications

∙ 07/27/2023

Approximate Model-Based Shielding for Safe Reinforcement Learning

Reinforcement learning (RL) has shown great potential for solving comple...

0 Alexander W. Goodall, et al. ∙

∙ 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...

0 Aamal Hussain, et al. ∙

∙ 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...

0 Aamal Hussain, et al. ∙

∙ 07/20/2023

Characterising Decision Theories with Mechanised Causal Graphs

How should my own decisions affect my beliefs about the outcomes I expec...

0 Matt MacDermott, et al. ∙

∙ 04/21/2023

Approximate Shielding of Atari Agents for Safe Exploration

Balancing exploration and conservatism in the constrained setting is an ...

0 Alexander W. Goodall, et al. ∙

∙ 01/23/2023

Asymptotic Convergence and Performance of Multi-Agent Q-Learning Dynamics

Achieving convergence of multiple learning agents in general N-player ga...

0 Aamal Abbas Hussain, et al. ∙

∙ 09/28/2022

Argumentative Reward Learning: Reasoning About Human Preferences

We define a novel neuro-symbolic framework, argumentative reward learnin...

0 Francis Rhys Ward, et al. ∙

∙ 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...

0 Francesco Belardinelli, et al. ∙

∙ 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...

0 Rui Li, et al. ∙

∙ 04/19/2022

Model Checking Strategic Abilities in Information-sharing Systems

We introduce a subclass of concurrent game structures (CGS) with imperfe...

0 Francesco Belardinelli, et al. ∙

∙ 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 ...

0 Francesco Belardinelli, et al. ∙

∙ 01/24/2022

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

In online advertising, search engines sell ad placements for keywords co...

0 Francesco Belardinelli, et al. ∙

∙ 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...

8 Peter He, et al. ∙

∙ 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...

8 Borja G. León, et al. ∙

∙ 02/04/2021

Aggregating Bipolar Opinions (With Appendix)

We introduce a novel method to aggregate Bipolar Argumentation (BA) Fram...

0 Stefan Lauren, et al. ∙

∙ 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...

17 Pierre El Mqirmi, et al. ∙

∙ 06/26/2020

A Hennessy-Milner Theorem for ATL with Imperfect Information

We show that a history-based variant of alternating bisimulation with im...

0 Francesco Belardinelli, et al. ∙

∙ 06/12/2020

Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning

This paper presents a neuro-symbolic agent that combines deep reinforcem...

31 Borja G. León, et al. ∙

∙ 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...

0 Borja G. León, et al. ∙

∙ 12/12/2019

Formal Verification of Debates in Argumentation Theory

Humans engage in informal debates on a daily basis. By expressing their ...

0 Ria Jha, et al. ∙

∙ 07/22/2019

Social Choice Methods for Database Aggregation

Knowledge can be represented compactly in multiple ways, from a set of p...

0 Francesco Belardinelli, et al. ∙

∙ 03/11/2019

Model Checking ATL* on vCGS

We prove that the model checking ATL* on concurrent game structures with...

0 Francesco Belardinelli, et al. ∙

∙ 02/23/2018

Database Aggregation

Knowledge can be represented compactly in a multitude ways, from a set o...

0 Francesco Belardinelli, et al. ∙

∙ 07/27/2017

Relaxing Exclusive Control in Boolean Games

In the typical framework for boolean games (BG) each player can change t...

0 Francesco Belardinelli, et al. ∙

∙ 07/27/2017

A Logic for Global and Local Announcements

In this paper we introduce global and local announcement logic (GLAL), ...

0 Francesco Belardinelli, et al. ∙

∙ 04/03/2014

Reasoning about Knowledge and Strategies: Epistemic Strategy Logic

In this paper we introduce Epistemic Strategy Logic (ESL), an extension ...

0 Francesco Belardinelli, et al. ∙

∙ 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...

0 Francesco Belardinelli, et al. ∙

∙ 01/12/2013

Verification of Agent-Based Artifact Systems

Artifact systems are a novel paradigm for specifying and implementing bu...

0 Francesco Belardinelli, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world