Shakiba Yaghoubi, Georgios Fainekos. Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. In Information Theory and Applications Workshop, ITA 2020, San Diego, CA, USA, February 2-7, 2020. pages 1-20, IEEE, 2020. [doi]
Abstract is missing.