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…