9 citations · 15 across the 17 of their papers we have counts for
4 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…
Preference-based Learning of Reward Function Features
Sydney M. Katz, Amir Maleki, Erdem Bıyık +1
Preference-based learning of reward functions, where the reward function is learned using comparison data, has been well studied for complex robotic tasks such as autonomous drivin…
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…