{"total":44,"rows":[{"id":"2103.04490","title":"Adaptive-Control-Oriented Meta-Learning for Nonlinear Systems","created":"2021-03-07","cited_by_count":39,"area":null},{"id":"2404.07956","title":"Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation","created":"2024-04-11","cited_by_count":25,"area":null},{"id":"2210.05308","title":"Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees","created":"2022-10-11","cited_by_count":23,"area":null},{"id":"2111.09971","title":"Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations","created":"2021-11-18","cited_by_count":20,"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":"2209.14076","title":"Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems","created":"2022-09-28","cited_by_count":18,"area":null},{"id":"2201.01918","title":"SABLAS: Learning Safe Control for Black-box Dynamical Systems","created":"2022-01-06","cited_by_count":17,"area":null},{"id":"2204.06716","title":"Control-oriented meta-learning","created":"2022-04-14","cited_by_count":17,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"area":null},{"id":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14,"area":null},{"id":"2401.09352","title":"Neural Contractive Dynamical Systems","created":"2024-01-17","cited_by_count":14,"area":null},{"id":"2102.12668","title":"Learning-based Robust Motion Planning with Guaranteed Stability: A Contraction Theory Approach","created":"2021-02-25","cited_by_count":13,"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":"2308.09858","title":"Tensor-Compressed Back-Propagation-Free Training for (Physics-Informed) Neural Networks","created":"2023-08-18","cited_by_count":12,"area":null},{"id":"2209.03580","title":"Conformal Methods for Quantifying Uncertainty in Spatiotemporal Data: A Survey","created":"2022-09-08","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":"2301.11683","title":"Neural Abstractions","created":"2023-01-27","cited_by_count":11,"area":null},{"id":"2402.08090","title":"Learning Neural Contracting Dynamics: Extended Linearization and Global Guarantees","created":"2024-02-12","cited_by_count":11,"area":null},{"id":"2311.02227","title":"State-Wise Safe Reinforcement Learning With Pixel Observations","created":"2023-11-03","cited_by_count":9,"area":null},{"id":"2508.16817","title":"Predictability Enables Parallelization of Nonlinear State Space Models","created":"2025-08-22","cited_by_count":7,"area":null},{"id":"2110.00693","title":"A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability","created":"2021-10-02","cited_by_count":6,"area":null},{"id":"2203.01190","title":"Model-free Neural Lyapunov Control for Safe Robot Navigation","created":"2022-03-02","cited_by_count":6,"area":null},{"id":"2303.03157","title":"Data-Driven Control with Inherent Lyapunov Stability","created":"2023-03-06","cited_by_count":6,"area":null},{"id":"2506.01356","title":"Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion","created":"2025-06-02","cited_by_count":6,"area":null},{"id":"2104.10219","title":"Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning","created":"2021-04-20","cited_by_count":5,"area":null},{"id":"2302.02529","title":"Learning Control-Oriented Dynamical Structure from Data","created":"2023-02-06","cited_by_count":5,"area":null},{"id":"2404.01184","title":"Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller","created":"2024-04-01","cited_by_count":5,"area":null},{"id":"2412.17432","title":"Neural Continuous-Time Supermartingale Certificates","created":"2024-12-23","cited_by_count":5,"area":null},{"id":"2504.17102","title":"Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems","created":"2025-04-23","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":"2501.06663","title":"Ultra Memory-Efficient On-FPGA Training of Transformers via Tensor-Compressed Optimization","created":"2025-01-11","cited_by_count":3,"area":null},{"id":"2503.10641","title":"Estimating Control Barriers from Offline Data","created":"2025-02-21","cited_by_count":3,"area":null},{"id":"2103.02987","title":"Learning-based Adaptive Control using Contraction Theory","created":"2021-03-04","cited_by_count":1,"area":null},{"id":"2303.10327","title":"Hybrid Systems Neural Control with Region-of-Attraction Planner","created":"2023-03-18","cited_by_count":1,"area":null},{"id":"2311.03669","title":"Stable Modular Control via Contraction Theory for Reinforcement Learning","created":"2023-11-07","cited_by_count":1,"area":null},{"id":"2411.11405","title":"Extended Neural Contractive Dynamical Systems: On Multiple Tasks and Riemannian Safety Regions","created":"2024-11-18","cited_by_count":1,"area":null},{"id":"2504.16879","title":"Learning Verifiable Control Policies Using Relaxed Verification","created":"2025-04-23","cited_by_count":1,"area":null},{"id":"2504.18860","title":"Diffeomorphic Obstacle Avoidance for Contractive Dynamical Systems via Implicit Representations","created":"2025-04-26","cited_by_count":1,"area":null},{"id":"2507.11987","title":"Formal Verification of Neural Certificates Done Dynamically","created":"2025-07-16","cited_by_count":1,"area":null},{"id":"2603.08964","title":"The FABRIC Strategy for Verifying Neural Feedback Systems","created":"2026-03-09","cited_by_count":1,"area":null},{"id":"2605.26577","title":"Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial","created":"2026-05-26","cited_by_count":1,"area":null},{"id":"2112.08222","title":"Guaranteed Trajectory Tracking under Learned Dynamics with Contraction Metrics and Disturbance Estimation","created":"2021-12-15","cited_by_count":0,"area":null},{"id":"2512.02262","title":"Verifying Closed-Loop Contractivity of Learning-Based Controllers via Partitioning","created":"2025-12-01","cited_by_count":0,"area":null},{"id":"2603.07092","title":"Statistical Contraction for Chance-Constrained Trajectory Optimization of Non-Gaussian Stochastic Systems","created":"2026-03-07","cited_by_count":0,"area":null}],"next_cursor":null}