Wenliang Liu, Mirai Nishioka, Calin Belta. Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks. In IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023. pages 12416-12422, IEEE, 2023. [doi]
Abstract is missing.