%0 Journal Article %1 journals/corr/abs-1712-08163 %A Xiang, Weiming %A Tran, Hoang-Dung %A Johnson, Taylor T. %D 2017 %J CoRR %K dblp %T Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations. %U http://dblp.uni-trier.de/db/journals/corr/corr1712.html#abs-1712-08163 %V abs/1712.08163

@article{journals/corr/abs-1712-08163, added-at = {2018-08-13T00:00:00.000+0200}, author = {Xiang, Weiming and Tran, Hoang-Dung and Johnson, Taylor T.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d456efa6bb2c31269df591a0a094a38d/dblp}, ee = {http://arxiv.org/abs/1712.08163}, interhash = {81f10b24f953845f28375b4f4a9424d3}, intrahash = {d456efa6bb2c31269df591a0a094a38d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:19:27.000+0200}, title = {Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1712.html#abs-1712-08163}, volume = {abs/1712.08163}, year = 2017 }