| emsoft | participants

Georgios Fainekos

Program Committees:
2018, 2019, and 2020
.

EMSOFT 2019: 19th International Conference on Embedded Software

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

Shakiba Yaghoubi and Georgios Fainekos

EMSOFT 2015: 15th International Conference on Embedded Software

Requirements Driven Falsification with Coverage Metrics

Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, and Georgios Fainekos