Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Robotic Systems with Deep Neural Network Components.

Joseph A. Vincent, Mac Schwager

Browse the full ICRA paper archive.