Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With
  Recurrent Neural Networks   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 contrast to previous methods, we consider
synthesizing the RNN controller for which the user is able to select an STL
specification arbitrarily from multiple STL specifications. To obtain such a
controller, we propose a novel notion called STL2vec, which represents a vector
representation of the STL specifications and exhibits their similarities. The
construction of the STL2vec is useful since it allows us to enhance the
efficiency and performance of the RNN controller. We validate our proposed
method through the examples of the path planning problem.

31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
17
The categories of this paper are: q-fin
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
16
The categories of this paper are: stat
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys