Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints

Wenliang Liu, Noushin Mehdipour, Calin Belta. Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints. IEEE Control Systems Letters, 6:91-96, 2022. [doi]

Abstract

Abstract is missing.