AI RESEARCH
The FABRIC Strategy for Verifying Neural Feedback Systems
arXiv CS.AI
•
ArXi:2603.08964v1 Announce Type: new Forward reachability analysis is a dominant approach for verifying reach-avoid specifications in neural feedback systems, i.e., dynamical systems controlled by neural networks, and a number of directions have been proposed and studied. In contrast, far less attention has been given to backward reachability analysis for these systems, in part because of the limited scalability of known techniques. In this work, we begin to address this gap by