Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers

In this paper, a reinforcement learning approach for designing feedback neural network controllers for nonlinear systems is proposed. Given a Signal Temporal Logic (STL) specification which needs t...