TY  - RPRT
TI  - Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks
AU  - Wenliang Liu
AU  - Mirai Nishioka
AU  - Calin Belta
PY  - 2023
UR  - https://arxiv.org/abs/2103.15938
ID  - 2103.15938
ER  -