Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks

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]

Authors

Wenliang Liu

This author has not been identified. Look up 'Wenliang Liu' in Google

Mirai Nishioka

This author has not been identified. Look up 'Mirai Nishioka' in Google

Calin Belta

This author has not been identified. Look up 'Calin Belta' in Google