Showing 1–20 of 21 results
/ Date/ Name
Mar 3, 2022Robust Counterexample-guided Optimization for Planning from Differentiable Temporal LogicFeb 28, 2025Rare event modeling with self-regularized normalizing flows: what can we learn from a single failure?Sep 14, 2021Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier FunctionsMar 17, 2020Provably Safe Trajectory Optimization in the Presence of Uncertain Convex ObstaclesApr 22, 2022Certifiable Robot Design Optimization using Differentiable ProgrammingSep 14, 2023A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via samplingApr 4, 2024RADIUM: Predicting and Repairing End-to-End Robot Failures using Gradient-Accelerated SamplingJan 31, 2023Chance-Constrained Trajectory Optimization for High-DOF Robots in Uncertain EnvironmentsOct 10, 2023Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can helpSep 25, 2022Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance FieldsSep 25, 2022Barrier functions enable safety-conscious force-feedback controlFeb 23, 2022Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methodsJan 4, 2022Learning Safe, Generalizable Perception-based Hybrid Control with CertificatesMar 17, 2020Fast Certification of Collision Probability Bounds with Uncertain Convex ObstaclesJun 10, 2023AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and CheckersFeb 17, 2025Learning Plasma Dynamics and Robust Rampdown Trajectories with Predict-First Experiments at TCVJul 15, 2025A Roadmap for Climate-Relevant Robotics ResearchFeb 23, 2023Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Approach Using Control Barrier FunctionsJan 16, 2019Magnetic properties of double perovskite $Ln_2$CoIrO$_6$ ($Ln$ = Eu, Tb, Ho): hetero-tri-spin $3d$-$5d$-$4f$ systemsNov 22, 2023Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges