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

Joseph A. Vincent, Mac Schwager

Neural networks are increasingly used in robotics as policies, state transition models, state estimation models, or all of the above. With these components being learned from data,…