TY  - RPRT
TI  - STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks
AU  - Wataru Hashimoto
AU  - Kazumune Hashimoto
AU  - Shigemasa Takai
PY  - 2021
UR  - https://arxiv.org/abs/2109.04636
ID  - 2109.04636
ER  -