The FABRIC Strategy for Verifying Neural Feedback Systems
arXiv:2603.08964v1 Announce Type: new Abstract: Forward reachability analysis is a dominant approach for verifying reach-avoid specifications in neural feedback systems, i.e., dynamical systems controlled by …
I. Samuel Akinwande, Sydney M. Katz, Mykel J. Kochenderfer, Clark Barrett
17 views