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
#Robotics
1 entry
Tag
1 entry
Notes on Vincent & Schwager (2022) introducing the Reachable Polyhedral Marching (RPM) algorithm for exact reachability analysis of ReLU neural network controllers.