4 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Luigi Berducci, Radu Grosu
The automatic synthesis of a policy through reinforcement learning (RL) from a given set of formal requirements depends on the construction of a reward signal and consists of the i…