Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency
This paper introduces a novel tunable hybrid zonotope-based method for computing both forward and backward reachable sets of neural network control systems.
Jun 17, 2024
