
FABRIC Verifies Neural Feedback Systems
Researchers introduce FaBRIC, integrating forward and backward reachability analysis for verifying neural feedback systems. It provides scalable over- and underapproximations of backward reachable sets. Evaluations on benchmarks show it outperforms prior state-of-the-art methods.







