Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems

10 Feb 2018 Xiang Weiming Lopez Diego Manzanas Musau Patrick Johnson Taylor T.

Neural networks have been widely used to solve complex real-world problems. Due to the complicate, nonlinear, non-convex nature of neural networks, formal safety guarantees for the behaviors of neural network systems will be crucial for their applications in safety-critical systems... (read more)

PDF Abstract
No code implementations yet. Submit your code now