TY  - RPRT
TI  - Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks
AU  - Wataru Hashimoto
AU  - Kazumune Hashimoto
AU  - Masako Kishida
AU  - Shigemasa Takai
PY  - 2022
UR  - https://arxiv.org/abs/2212.05200
ID  - 2212.05200
ER  -