TY - RPRT TI - Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints AU - Wenliang Liu AU - Noushin Mehdipour AU - Calin Belta PY - 2020 UR - https://arxiv.org/abs/2009.11468 ID - 2009.11468 ER -