CISPA Helmholtz Center for Information Security; University of Illinois at Urbana-Champaign and VMware Research; Department of Computer Science, ETH Zurich
Tobias Lorenz; Anian Ruoss; Mislav Balunović; Gagandeep Singh; Martin Vechev
Robustness Certification for Point Cloud Models