@misc{indiciaedbb0913eb7f3,
  title = {Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks},
  author = {Wenliang Liu and Mirai Nishioka and Calin Belta},
  year = {2023},
  url = {https://arxiv.org/abs/2103.15938},
  note = {Source identifier: 2103.15938}
}