2023
One-Shot Reachability Analysis of Neural Network Dynamical Systems
ICRA 2023poster
The arising application of neural networks (NN) in robotic systems has driven the development of safety verification methods for neural network dynamical systems (NNDS). Recursive techniques for reachability analysis of dynamical systems in closed-loop with a NN controller, planner or perception can…