Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems

Open in new window