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

Wenliang Liu, Mirai Nishioka, Calin Belta

Browse the full ICRA paper archive.