{"total":18,"rows":[{"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":"2104.09582","title":"Robust Uncertainty Bounds in Reproducing Kernel Hilbert Spaces: A Convex Optimization Approach","created":"2021-04-19","cited_by_count":14,"area":null},{"id":"2104.08695","title":"Model Error Propagation via Learned Contraction Metrics for Safe Feedback Motion Planning of Unknown Systems","created":"2021-04-18","cited_by_count":13,"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":"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":"2308.12252","title":"How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy","created":"2023-08-23","cited_by_count":8,"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":"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":"2201.00655","title":"Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression","created":"2021-12-31","cited_by_count":5,"area":null},{"id":"2309.06569","title":"Promises of Deep Kernel Learning for Control Synthesis","created":"2023-09-12","cited_by_count":4,"area":null},{"id":"2112.05911","title":"Learning Contraction Policies from Offline Data","created":"2021-12-11","cited_by_count":3,"area":null},{"id":"2411.18235","title":"Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control","created":"2024-11-27","cited_by_count":3,"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":"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":"2511.13588","title":"Data-driven Acceleration of MPC with Guarantees","created":"2025-11-17","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}],"next_cursor":null}