Robustness Certification for Point Cloud Models

   Tobias Lorenz* 1 ,      Anian Ruoss2 ,     Mislav Balunovic2 ,  Gagandeep Singh3 ,     Martin Vechev2
                      1
                      CISPA Helmholtz Center for Information Security
                       2
                        Department of Computer Science, ETH Zurich
                 3
                  University of Illinois at Urbana-Champaign and VMware Research
                   tobias.lorenz@cispa.de, ggnds@illinois.e ...