%0 Conference Paper %1 conf/cpsweek/LopezMTJ19 %A Lopez, Diego Manzanas %A Musau, Patrick %A Tran, Hoang-Dung %A Johnson, Taylor T. %B ARCH@CPSIoTWeek %D 2019 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 201-210 %T Verification of Closed-loop Systems with Neural Network Controllers. %U http://dblp.uni-trier.de/db/conf/cpsweek/arch2019.html#LopezMTJ19 %V 61

@inproceedings{conf/cpsweek/LopezMTJ19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Lopez, Diego Manzanas and Musau, Patrick and Tran, Hoang-Dung and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/25c6319bd99eb7a18bb70421fcb5e702c/dblp}, booktitle = {ARCH@CPSIoTWeek}, crossref = {conf/cpsweek/2019arch}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/btv1}, interhash = {da37d78dfab9f4514c4213b7c90bc365}, intrahash = {5c6319bd99eb7a18bb70421fcb5e702c}, keywords = {dblp}, pages = {201-210}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T23:41:01.000+0200}, title = {Verification of Closed-loop Systems with Neural Network Controllers.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/arch2019.html#LopezMTJ19}, volume = 61, year = 2019 }