Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes
A novel set-based method is proposed to compute both exact and over-approximated reachable sets for neural feedback systems.
Jan 10, 2023
Presentation at 2022 IEEE CDC
A novel set-based method is proposed to compute both exact and over-approximated reachable sets for neural feedback systems.
Dec 7, 2022