11 citations · 31 across the 6 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021★ 1 cited
In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications
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 reinfor…
cs.AI2020★ 11 cited
Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning
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. In this paper…