Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes

Yuhao Zhang, Hang Zhang, Xiangru Xu. Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes. IEEE Control Systems Letters, 7:2779-2784, 2023. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: