11 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.MA2021★ 3 cited
An Abstraction-based Method to Check Multi-Agent Deep Reinforcement-Learning Behaviors
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 applicati…
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…