%0 Journal Article %1 journals/corr/abs-1802-03557 %A Xiang, Weiming %A Lopez, Diego Manzanas %A Musau, Patrick %A Johnson, Taylor T. %D 2018 %J CoRR %K dblp %T Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr1802.html#abs-1802-03557 %V abs/1802.03557

@article{journals/corr/abs-1802-03557, added-at = {2024-04-08T00:00:00.000+0200}, author = {Xiang, Weiming and Lopez, Diego Manzanas and Musau, Patrick and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/264fd48c266ae9c14d6ac0fcc619bdb69/dblp}, ee = {http://arxiv.org/abs/1802.03557}, interhash = {2b87dfcb44d86b68d8b5f12b36ba62d5}, intrahash = {64fd48c266ae9c14d6ac0fcc619bdb69}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-12T14:37:21.000+0200}, title = {Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1802.html#abs-1802-03557}, volume = {abs/1802.03557}, year = 2018 }