Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach | IEEE Conference Publication | IEEE Xplore