2 papers
cs.LG2020
Tightened Convex Relaxations for Neural Network Robustness Certification
Brendon G. Anderson, Ziye Ma, Jingqi Li +1
In this paper, we consider the problem of certifying the robustness of neural networks to perturbed and adversarial input data. Such certification is imperative for the application…
cs.RO2018
Certifiably Globally Optimal Extrinsic Calibration from Per-Sensor Egomotion
Matthew Giamou, Ziye Ma, Valentin Peretroukhin +1
We present a certifiably globally optimal algorithm for determining the extrinsic calibration between two sensors that are capable of producing independent egomotion estimates. Thi…