@misc{indiciaea48f7cadd95c,
  title = {Efficient Neural Network Robustness Certification with General Activation Functions},
  author = {Huan Zhang and Tsui-Wei Weng and Pin-Yu Chen and Cho-Jui Hsieh and Luca Daniel},
  year = {2018},
  url = {https://arxiv.org/abs/1811.00866},
  note = {Source identifier: 1811.00866}
}