activity
20232026
most citedHybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

math.OC2026

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

Yuhao Zhang, Xiangru Xu

Recurrent neural networks (RNNs) are widely employed to model complex dynamical systems due to their hidden-state structure, which inherently captures temporal dependencies. This w…