43 citations · 119 across the 29 of their papers we have counts for
1 paper · 2 filters
Arshia Rafieioskouei, Tzu-Han Hsu, Matthew Lucas +1
Formal specification is a powerful tool to guide the learning process and provides significant advantages over reward shaping: (1) mathematical rigor; (2) expressiveness to specify…