{"total":25,"rows":[{"id":"2201.08355","title":"Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees","created":"2022-01-20","cited_by_count":27,"area":null},{"id":"2312.08604","title":"Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction","created":"2023-12-14","cited_by_count":23,"area":null},{"id":"2206.06553","title":"Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory","created":"2022-06-14","cited_by_count":19,"area":null},{"id":"2201.05098","title":"Neural Koopman Lyapunov Control","created":"2022-01-13","cited_by_count":11,"area":null},{"id":"2209.12336","title":"Generating Formal Safety Assurances for High-Dimensional Reachability","created":"2022-09-25","cited_by_count":11,"area":null},{"id":"2210.05989","title":"Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty","created":"2022-10-12","cited_by_count":11,"area":null},{"id":"2210.10865","title":"Robotic Table Wiping via Reinforcement Learning and Whole-body Trajectory Optimization","created":"2022-10-19","cited_by_count":11,"area":null},{"id":"2212.06874","title":"Statistical Safety and Robustness Guarantees for Feedback Motion Planning of Unknown Underactuated Stochastic Systems","created":"2022-12-13","cited_by_count":11,"area":null},{"id":"2309.12312","title":"ForceSight: Text-Guided Mobile Manipulation with Visual-Force Goals","created":"2023-09-21","cited_by_count":8,"area":null},{"id":"2210.09337","title":"Robust Imitation of a Few Demonstrations with a Backwards Model","created":"2022-10-17","cited_by_count":7,"area":null},{"id":"2604.07644","title":"Safe Large-Scale Robust Nonlinear MPC in Milliseconds via Reachability-Constrained System Level Synthesis on the GPU","created":"2026-04-08","cited_by_count":7,"area":null},{"id":"2112.12612","title":"Towards Disturbance-Free Visual Mobile Manipulation","created":"2021-12-17","cited_by_count":6,"area":null},{"id":"2108.02335","title":"Advances in Trajectory Optimization for Space Vehicle Control","created":"2021-08-05","cited_by_count":5,"area":null},{"id":"2210.07420","title":"Learning to Efficiently Plan Robust Frictional Multi-Object Grasps","created":"2022-10-13","cited_by_count":5,"area":null},{"id":"2308.09041","title":"A Mathematical Characterization of Minimally Sufficient Robot Brains","created":"2023-08-17","cited_by_count":5,"area":null},{"id":"2112.05911","title":"Learning Contraction Policies from Offline Data","created":"2021-12-11","cited_by_count":3,"area":null},{"id":"2509.19688","title":"Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization","created":"2025-09-24","cited_by_count":2,"area":null},{"id":"2605.25346","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","created":"2026-05-25","cited_by_count":2,"area":null},{"id":"2111.08733","title":"Learning Provably Robust Motion Planners Using Funnel Libraries","created":"2021-11-16","cited_by_count":1,"area":null},{"id":"2212.00862","title":"An introduction to optimization under uncertainty -- A short survey","created":"2022-12-01","cited_by_count":1,"area":null},{"id":"2508.00154","title":"Data-Driven Motion Planning for Uncertain Nonlinear Systems","created":"2025-07-31","cited_by_count":1,"area":null},{"id":"2607.19306","title":"From Distances to Trajectories: Real-Time Signed Distance Function Mapping and Distance-Accelerated Motion Planning for UAVs","created":"2026-07-21","cited_by_count":1,"area":null},{"id":"2505.22104","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","created":"2025-05-28","cited_by_count":0,"area":null},{"id":"2601.16424","title":"RENEW: Risk- and Energy-Aware Navigation in Dynamic Waterways","created":"2026-01-23","cited_by_count":0,"area":null},{"id":"2607.01203","title":"GPU-Parallel Linearization Error Bounds for Real-Time Robust Optimal Control of Nonlinear and Neural Network Dynamics","created":"2026-07-01","cited_by_count":0,"area":null}],"next_cursor":null}