University of Illinois Urbana-Champaign; University of Illinois Urbana-Champaign, VMware Research
Shubham Dipak Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic
Robustness;Verification;Certification;Approximation
Incremental Randomized Smoothing Certification