Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
The FABRIC Strategy for Verifying Neural Feedback Systems
Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer +1
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…
cs.AI2026
A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems
Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer +1
Forward reachability analysis is the predominant approach for verifying reach-avoid properties in neural feedback systems (dynamical systems controlled by neural networks). This do…