Verifiable Learned Behaviors via Motion Primitive Composition:
Applications to Scooping of Granular MediaIEEE International Conference on Robotics and Automation (ICRA), 2023 |
Guarantees on Robot System Performance Using Stochastic Simulation
RolloutsIEEE Transactions on robotics (TRO), 2023 |
Bounding Optimality Gaps for Non-Convex Optimization Problems:
Applications to Nonlinear Safety-Critical SystemsIEEE Conference on Decision and Control (CDC), 2023 |