A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops

Nicholas Rober, Michael Everett, Songan Zhang +1

As neural networks become more integrated into the systems that we depend on for transportation, medicine, and security, it becomes increasingly important that we develop methods t…