Login / Signup

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

Joseph A. VincentMac Schwager
Published in: ICRA (2021)
Keyphrases