Fast and Effective Robustness Certification

Published in NIPS, 2018

Recommended citation: Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev, NeurIPS 2018. /files/DeepZ.pdf