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…