A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops

14 October 2022

Papers citing "A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops"

10 / 10 papers shown

Title
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions Hongchao Zhang Zhizhen Qin Sicun Gao Andrew Clark 32 1 0 27 Oct 2024
Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops Nicholas Rober Jonathan P. How 42 1 0 30 Sep 2024
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems Chelsea Sidrane Jana Tumova 35 3 0 19 Jul 2024
Exact Verification of ReLU Neural Control Barrier Functions Hongchao Zhang Junlin Wu Yevgeniy Vorobeychik Andrew Clark AAML 34 11 0 13 Oct 2023
The inverse problem for neural networks M. Forets Christian Schilling 32 0 0 27 Aug 2023
Provably Bounding Neural Network Preimages Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 35 12 0 02 Feb 2023
DRIP: Domain Refinement Iteration with Polytopes for Backward Reachability Analysis of Neural Feedback Loops Michael Everett Rudy Bunel Shayegan Omidshafiei 26 9 0 09 Dec 2022
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 240 1,837 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 287 5,837 0 08 Jul 2016