DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops

Michael Everett, Rudy Bunel, Shayegan Omidshafiei. DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops. IEEE Control Systems Letters, 7:1622-1627, 2023. [doi]

Abstract

Abstract is missing.