publications
Please see my Google Scholar for a full list of publications.
2024
- WAFRFast and Certifiable Trajectory OptimizationInternational Workshop on the Algorithmic Foundations of Robotics (WAFR), 2024
- PrePrint
2023
- CDCVerification and synthesis of robust control barrier functions: Multilevel polynomial optimization and semidefinite relaxationIn 2023 62nd IEEE Conference on Decision and Control (CDC), 2023
- CDCZero-shot transferable and persistently feasible safe control for high dimensional systems by consistent abstractionIn 2023 62nd IEEE Conference on Decision and Control (CDC), 2023
2022
- L-CSSPersistently feasible robust safe control by safety index synthesis and convex semi-infinite programmingIEEE Control Systems Letters, 2022
- IROSA contact-safe reinforcement learning framework for contact-rich robot manipulationIn 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022