BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems

Open in new window