{"total":17,"rows":[{"id":"2304.00194","title":"Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction","created":"2023-04-01","cited_by_count":16,"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":"2304.12405","title":"Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimization","created":"2023-04-24","cited_by_count":7,"area":null},{"id":"2311.06481","title":"Topology-Matching Normalizing Flows for Out-of-Distribution Detection in Robot Learning","created":"2023-11-11","cited_by_count":7,"area":null},{"id":"2602.12047","title":"Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis","created":"2026-02-12","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":"2412.13157","title":"Learning Visuotactile Estimation and Control for Non-prehensile Manipulation under Occlusions","created":"2024-12-17","cited_by_count":6,"area":null},{"id":"2604.24894","title":"VISION-SLS: Safe Perception-Based Control from Learned Visual Representations via System Level Synthesis","created":"2026-04-27","cited_by_count":3,"area":null},{"id":"2606.14188","title":"Robustness without Wrinkles: Parallel Simulation and Robust MPC for Certified Deformable Manipulation","created":"2026-06-12","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":"2601.01076","title":"Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees","created":"2026-01-03","cited_by_count":1,"area":null},{"id":"2411.06711","title":"Anytime Probabilistically Constrained Provably Convergent Online Belief Space Planning","created":"2024-11-11","cited_by_count":0,"area":null},{"id":"2507.04523","title":"Verification of Visual Controllers via Compositional Geometric Transformations","created":"2025-07-06","cited_by_count":0,"area":null},{"id":"2609.09250","title":"No Free Checker: A Survey of Verifiers for Robot Policies","created":"2026-09-08","cited_by_count":0,"area":null},{"id":"2609.22108","title":"Correcting Learning-based Perception for Safety","created":"2026-08-16","cited_by_count":0,"area":null},{"id":"2610.04297","title":"Latent Safety Filters: When a Lossy Encoder Admits a Transferable Certificate","created":"2026-10-03","cited_by_count":0,"area":null}],"next_cursor":null}