9 citations · 9 across the 4 of their papers we have counts for
3 papers · 1 filter
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
Christopher A. Strong, Sydney M. Katz, Anthony L. Corso +1
Deep neural networks often lack the safety and robustness guarantees needed to be deployed in safety critical systems. Formal verification techniques can be used to prove input-out…
Verification of Image-based Neural Network Controllers Using Generative Models
Sydney M. Katz, Anthony L. Corso, Christopher A. Strong +1
Neural networks are often used to process information from image-based sensors to produce control actions. While they are effective for this task, the complex nature of neural netw…
Generating Probabilistic Safety Guarantees for Neural Network Controllers
Sydney M. Katz, Kyle D. Julian, Christopher A. Strong +1
Neural networks serve as effective controllers in a variety of complex settings due to their ability to represent expressive policies. The complex nature of neural networks, howeve…