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

Wenliang Liu, Mirai Nishioka, Calin Belta

We propose a policy search approach to learn controllers from specifications given as Signal Temporal Logic (STL) formulae. The system model, which is unknown but assumed to be an…