Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks. - Wenliang Liu 001; Mirai Nishioka; Calin Belta (ICRA, 2023)