2 papers
cs.AI2025
BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
Chelsea Sidrane, Jana Tumova
Learning-enabled planning and control algorithms are increasingly popular, but they often lack rigorous guarantees of performance or safety. We introduce an algorithm for computing…
eess.SY2022
Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
Nicholas Rober, Sydney M. Katz, Chelsea Sidrane +4
As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are s…