A novel approach for computing the exact backward reachable sets of neural feedback systems.
Dec 15, 2023
A novel set-based method is proposed to compute both exact and over-approximated reachable sets for neural feedback systems.
Dec 7, 2022
