Shigemasa Takai

STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks

In this letter, a method for learning a recurrent neural network (RNN) controller that maximizes the robustness of signal temporal logic (STL) specifications is presented. In contrast to previous methods, we consider synthesizing the RNN controller for which the user is able to select an STL specifi