The FABRIC Strategy for Verifying Neural Feedback Systems
Notes on the FABRIC strategy for verifying nonlinear neural feedback systems by combining forward reachability, backward reachability, polyhedral enclosures, MILP encodings, DRiPy refinement, and FITS inner-set construction.