3 papers
cs.LG2021
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…
cs.AI2021
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…
cs.LG2020
Global Optimization of Objective Functions Represented by ReLU Networks
Christopher A. Strong, Haoze Wu, Aleksandar Zeljić +4
Neural networks can learn complex, non-convex functions, and it is challenging to guarantee their correct behavior in safety-critical contexts. Many approaches exist to find failur…