TY  - RPRT
TI  - Polyhedral Enclosures: An Efficient Combinatorial Abstraction for Nonlinear Neural Feedback Systems
AU  - I. Samuel Akinwande
AU  - Chelsea Sidrane
AU  - Mykel J. Kochenderfer
AU  - Clark Barrett
PY  - 2026
UR  - https://arxiv.org/abs/2503.22660
ID  - 2503.22660
ER  -