Search Results for author: Borja G. León

Found 5 papers, 2 papers with code

In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications

1 code implementation ICLR 2022 Borja G. León, Murray Shanahan, Francesco Belardinelli

We address the problem of building agents whose goal is to learn to execute out-of distribution (OOD) multi-task instructions expressed in temporal logic (TL) by using deep reinforcement learning (DRL).

An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors

no code implementations2 Feb 2021 Pierre El Mqirmi, Francesco Belardinelli, Borja G. León

Multi-agent reinforcement learning (RL) often struggles to ensure the safe behaviours of the learning agents, and therefore it is generally not adapted to safety-critical applications.

Multi-agent Reinforcement Learning reinforcement-learning +1

Systematic Generalisation through Task Temporal Logic and Deep Reinforcement Learning

no code implementations12 Jun 2020 Borja G. León, Murray Shanahan, Francesco Belardinelli

This work introduces a neuro-symbolic agent that combines deep reinforcement learning (DRL) with temporal logic (TL) to achieve systematic zero-shot, i. e., never-seen-before, generalisation of formally specified instructions.

Negation reinforcement-learning +1

Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning

1 code implementation14 Feb 2020 Borja G. León, Francesco Belardinelli

The combination of Formal Methods with Reinforcement Learning (RL) has recently attracted interest as a way for single-agent RL to learn multiple-task specifications.

Multi-agent Reinforcement Learning reinforcement-learning +1

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