Fast and Effective Robustness Certification.

Gagandeep Singh Timon Gehr Matthew Mirman Markus Püschel Martin T. Vechev

Published in: NeurIPS (2018)

Keyphrases

expert systems
real time
data sets
third party
real world
machine learning
image segmentation
evolutionary algorithm
online learning
cost effective