Wenliang Liu, Noushin Mehdipour, Calin Belta: Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. ACC 2021: 3461-3466