Provably-Safe Neural Network Training Using Hybrid Zonotope Reachability Analysis

Long Kiu Chung, Shreyas Kousik

Even though neural networks are being increasingly deployed in safety-critical control applications, it remains difficult to enforce constraints on their output, meaning that it is…