Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures. - Samuel I. Akinwande; Chelsea Sidrane; Mykel J. Kochenderfer; Clark W. Barrett (CoRR, 2025)