%0 Journal Article %1 journals/tecs/YaghoubiF19 %A Yaghoubi, Shakiba %A Fainekos, Georgios %D 2019 %J ACM Trans. Embed. Comput. Syst. %K dblp %N 5s %P 107:1-107:20 %T Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach. %U http://dblp.uni-trier.de/db/journals/tecs/tecs18.html#YaghoubiF19 %V 18

@article{journals/tecs/YaghoubiF19, added-at = {2020-10-26T00:00:00.000+0100}, author = {Yaghoubi, Shakiba and Fainekos, Georgios}, biburl = {https://www.bibsonomy.org/bibtex/24b41c86e4d41286d6dd9ee5ea878e69f/dblp}, ee = {https://doi.org/10.1145/3358239}, interhash = {7fae0affb7fde43f25daa78d7ac3762b}, intrahash = {4b41c86e4d41286d6dd9ee5ea878e69f}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, number = {5s}, pages = {107:1-107:20}, timestamp = {2020-10-27T12:28:52.000+0100}, title = {Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs18.html#YaghoubiF19}, volume = 18, year = 2019 }