%0 Journal Article %1 journals/tnn/XiangTJ18 %A Xiang, Weiming %A Tran, Hoang-Dung %A Johnson, Taylor T. %D 2018 %J IEEE Trans. Neural Networks Learn. Syst. %K dblp %N 11 %P 5777-5783 %T Output Reachable Set Estimation and Verification for Multilayer Neural Networks. %U http://dblp.uni-trier.de/db/journals/tnn/tnn29.html#XiangTJ18 %V 29

@article{journals/tnn/XiangTJ18, added-at = {2024-04-08T00:00:00.000+0200}, author = {Xiang, Weiming and Tran, Hoang-Dung and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/2ce6f5f66dc22c4887da523f514967cfd/dblp}, ee = {https://www.wikidata.org/entity/Q89556321}, interhash = {07ab47a92f37c6cdc3b2abbdf8215880}, intrahash = {ce6f5f66dc22c4887da523f514967cfd}, journal = {IEEE Trans. Neural Networks Learn. Syst.}, keywords = {dblp}, number = 11, pages = {5777-5783}, timestamp = {2024-04-12T14:41:08.000+0200}, title = {Output Reachable Set Estimation and Verification for Multilayer Neural Networks.}, url = {http://dblp.uni-trier.de/db/journals/tnn/tnn29.html#XiangTJ18}, volume = 29, year = 2018 }