no code implementations • 29 Mar 2021 • Wenliang Liu, Mirai Nishioka, Calin Belta
To capture the history dependency of STL specifications, we use a recurrent neural network (RNN) to implement the control policy.