3 papers
eess.SY2026
Polyhedral Enclosures: An Efficient Combinatorial Abstraction for Nonlinear Neural Feedback Systems
I. Samuel Akinwande, Chelsea Sidrane, Mykel J. Kochenderfer +1
As dynamical systems equipped with neural network controllers (neural feedback systems) become increasingly prevalent, it is critical to develop methods to ensure their safe operat…
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…