%0 Conference Paper %1 conf/ijcnn/LuoWWYY22 %A Luo, Zhengwu %A Wang, Lina %A Wang, Run %A Yang, Kang %A Ye, Aoshuang %B IJCNN %D 2022 %I IEEE %K dblp %P 1-8 %T Improving Robustness Verification of Neural Networks with General Activation Functions via Branching and Optimization. %U http://dblp.uni-trier.de/db/conf/ijcnn/ijcnn2022.html#LuoWWYY22 %@ 978-1-7281-8671-9

@inproceedings{conf/ijcnn/LuoWWYY22, added-at = {2023-12-15T00:00:00.000+0100}, author = {Luo, Zhengwu and Wang, Lina and Wang, Run and Yang, Kang and Ye, Aoshuang}, biburl = {https://www.bibsonomy.org/bibtex/241fc579c204a2871758d9eaa8df05357/dblp}, booktitle = {IJCNN}, crossref = {conf/ijcnn/2022}, ee = {https://doi.org/10.1109/IJCNN55064.2022.9892214}, interhash = {7456d98c2fe369136f35590b94328e93}, intrahash = {41fc579c204a2871758d9eaa8df05357}, isbn = {978-1-7281-8671-9}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2024-04-09T23:44:22.000+0200}, title = {Improving Robustness Verification of Neural Networks with General Activation Functions via Branching and Optimization.}, url = {http://dblp.uni-trier.de/db/conf/ijcnn/ijcnn2022.html#LuoWWYY22}, year = 2022 }