Reachable Polyhedral Marching for Deep-Learned Control Systems
Notes on Vincent & Schwager (2022) introducing the Reachable Polyhedral Marching (RPM) algorithm for exact reachability analysis of ReLU neural network controllers.
Tag
#Neural Networks
1 entry