Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach.

Shakiba Yaghoubi, Georgios Fainekos

Browse the full ITA paper archive.