Reachable Polyhedral Marching (RPM): A Safety Verification Algorithm for Robotic Systems with Deep Neural Network Components. - Joseph A. Vincent; Mac Schwager (ICRA, 2021)

Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems. - Joseph A. Vincent; Mac Schwager (CoRR, 2022)

DiNNO: Distributed Neural Network Optimization for Multi-Robot Collaborative Learning. - Javier Yu; Joseph A. Vincent; Mac Schwager (IEEE Robotics Autom. Lett., 2022)

Guarantees on Robot System Performance Using Stochastic Simulation Rollouts. - Joseph A. Vincent; Aaron O. Feldman; Mac Schwager (IEEE Trans. Robotics, 2024)

How Generalizable is My Behavior Cloning Policy? A Statistical Approach to Trustworthy Performance Evaluation. - Joseph A. Vincent; Haruki Nishimura; Masha Itkina; Paarth Shah; Mac Schwager; Thomas Kollar (IEEE Robotics Autom. Lett., 2024)

Learning Robot Safety from Sparse Human Feedback using Conformal Prediction. - Aaron O. Feldman; Joseph A. Vincent; Maximilian Adang; Jun En Low; Mac Schwager (CoRR, 2025)