11 citations · 14 across the 2 of their papers we have counts for
1 paper · 1 filter
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…