%0 Conference Paper %1 conf/adhs/DuttaJST18 %A Dutta, Souradeep %A Jha, Susmit %A Sankaranarayanan, Sriram %A Tiwari, Ashish %B ADHS %D 2018 %E Abate, Alessandro %E Girard, Antoine %E Heemels, Maurice %I Elsevier %K dblp %N 16 %P 151-156 %T Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. %U http://dblp.uni-trier.de/db/conf/adhs/adhs2018.html#DuttaJST18 %V 51

@inproceedings{conf/adhs/DuttaJST18, added-at = {2019-11-06T00:00:00.000+0100}, author = {Dutta, Souradeep and Jha, Susmit and Sankaranarayanan, Sriram and Tiwari, Ashish}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21c67c817fb376c2c3179dde0fe6ac9db/dblp}, booktitle = {ADHS}, crossref = {conf/adhs/2018}, editor = {Abate, Alessandro and Girard, Antoine and Heemels, Maurice}, ee = {https://doi.org/10.1016/j.ifacol.2018.08.026}, interhash = {3b6ff0629e6569dcc30a3f3c760342d1}, intrahash = {1c67c817fb376c2c3179dde0fe6ac9db}, keywords = {dblp}, number = 16, pages = {151-156}, publisher = {Elsevier}, series = {IFAC-PapersOnLine}, timestamp = {2019-11-26T08:21:02.000+0100}, title = {Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.}, url = {http://dblp.uni-trier.de/db/conf/adhs/adhs2018.html#DuttaJST18}, volume = 51, year = 2018 }