4 citations · 6 across the 9 of their papers we have counts for
1 paper · 1 filter
Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai
In this paper, a method for learning a recurrent neural network (RNN) controller that maximizes the robustness of signal temporal logic (STL) specifications is presented. In contra…