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