Recurrent Neural Network

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes
Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes

This work introduces an novel approach to compute the reachable sets for recurrent neural networks in closed-loop systems.

Jan 21, 2026