Provably Safe Trajectory Optimization in the Presence of Uncertain Convex Obstacles. - Charles Dawson 001; Ashkan Jasour; Andreas G. Hofmann; Brian Charles Williams (IROS, 2020)

Fast Certification of Collision Probability Bounds with Uncertain Convex Obstacles. - Charles Dawson 001; Andreas G. Hofmann; Brian C. Williams (CoRR, 2020)

Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. - Charles Dawson 001; Zengyi Qin; Sicun Gao; Chuchu Fan (CoRL, 2021)

Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. - Charles Dawson 001; Chuchu Fan (IROS, 2022)

Certifiable Robot Design Optimization using Differentiable Programming. - Charles Dawson 001; Chuchu Fan (Robotics: Science and Systems, 2022)

Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. - Charles Dawson 001; Sicun Gao; Chuchu Fan (CoRR, 2022)

Barrier functions enable safety-conscious force-feedback control. - Charles Dawson 001; Austin Garrett; Falk Pollok; Yang Zhang 001; Chuchu Fan (CoRR, 2022)

Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates. - Charles Dawson 001; Bethany Lowenkamp; Dylan Goff; Chuchu Fan (IEEE Robotics Autom. Lett., 2022)

A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. - Charles Dawson 001; Chuchu Fan (CoRL, 2023)

Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. - Mukun Tong; Charles Dawson 001; Chuchu Fan (ICRA, 2023)

Chance-Constrained Trajectory Optimization for High-DOF Robots in Uncertain Environments. - Charles Dawson 001; Ashkan Jasour; Andreas G. Hofmann; Brian C. Williams (CoRR, 2023)

Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Approach Using Control Barrier Functions. - Ji Yin; Charles Dawson 001; Chuchu Fan; Panagiotis Tsiotras (CoRR, 2023)

Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help. - Charles Dawson 001; Chuchu Fan (CoRR, 2023)

Model-Free Neural Fault Detection and Isolation for Safe Control. - Kunal Garg; Charles Dawson 001; Kathleen Xu; Melkior Ornik; Chuchu Fan (IEEE Control. Syst. Lett., 2023)

Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control. - Charles Dawson 001; Sicun Gao; Chuchu Fan (IEEE Trans. Robotics, 2023)

Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Method Using Control Barrier Functions. - Ji Yin; Charles Dawson 001; Chuchu Fan; Panagiotis Tsiotras (IEEE Robotics Autom. Lett., 2023)

AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. - Yongchao Chen; Jacob Arkin; Charles Dawson 001; Yang Zhang 001; Nicholas Roy; Chuchu Fan (ICRA, 2024)

Learning safe control for multi-robot systems: Methods, verification, and open challenges. - Kunal Garg; Songyuan Zhang; Oswin So; Charles Dawson 001; Chuchu Fan (Annu. Rev. Control., 2024)

Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs with Neural Differential Equations and Reinforcement Learning. - Allen M. Wang; Oswin So; Charles Dawson 001; Darren T. Garnier; Cristina Rea; Chuchu Fan (CoRR, 2024)

Learning-Based Bayesian Inference for Testing of Autonomous Systems. - Anjali Parashar; Ji Yin; Charles Dawson 001; Panagiotis Tsiotras; Chuchu Fan (IEEE Robotics Autom. Lett., 2024)

Rare event modeling with self-regularized normalizing flows: what can we learn from a single failure? - Charles Dawson 001; Van Tran; Max Z. Li; Chuchu Fan (ICLR, 2025)

RADIUM: Predicting and Repairing End-to-End Robot Failures Using Gradient-Accelerated Sampling. - Charles Dawson 001; Anjali Parashar; Chuchu Fan (IEEE Trans. Robotics, 2025)

Learning Plasma Dynamics and Robust Rampdown Trajectories with Predict-First Experiments at TCV. - Allen M. Wang; Alessandro Pau; Cristina Rea; Oswin So; Charles Dawson 001; Olivier Sauter; Mark D. Boyer; Anna Vu; Cristian Galperti; Chuchu Fan; Antoine Merle; Yoeri Poels; et al. (CoRR, 2025)

A Roadmap for Climate-Relevant Robotics Research. - Alan Papalia; Charles Dawson 001; Laurentiu L. Anton; Norhan Bayomi; Bianca Champenois; Jung-Hoon Cho; Levi Cai; Joseph DelPreto; Kristen Edwards; Bilha-Catherine Githinji; Cameron Hickert; Vindula Jayawardana; et al. (CoRR, 2025)