Wenliang Liu, Noushin Mehdipour, Calin Belta. Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. In 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021. pages 3461-3466, IEEE, 2021. [doi]
Abstract is missing.