| emsoft | participants

Shakiba Yaghoubi

EMSOFT 2019: 19th International Conference on Embedded Software

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