{"total":142,"rows":[{"id":"2101.05436","title":"Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates","created":"2021-01-14","cited_by_count":74,"area":null},{"id":"2209.15090","title":"Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments","created":"2022-09-29","cited_by_count":60,"area":null},{"id":"2110.00675","title":"Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview","created":"2021-10-01","cited_by_count":45,"area":null},{"id":"2202.02526","title":"LyaNet: A Lyapunov Framework for Training Neural ODEs","created":"2022-02-05","cited_by_count":44,"area":null},{"id":"2206.01913","title":"Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees","created":"2022-06-04","cited_by_count":40,"area":null},{"id":"2103.04490","title":"Adaptive-Control-Oriented Meta-Learning for Nonlinear Systems","created":"2021-03-07","cited_by_count":39,"area":null},{"id":"2102.09161","title":"On the Sample Complexity of Stability Constrained Imitation Learning","created":"2021-02-18","cited_by_count":38,"area":"offlinerl"},{"id":"2309.13528","title":"Iterative Reachability Estimation for Safe Reinforcement Learning","created":"2023-09-24","cited_by_count":37,"area":null},{"id":"2105.08881","title":"Enforcing Policy Feasibility Constraints through Differentiable Projection for Energy Optimization","created":"2021-05-19","cited_by_count":31,"area":null},{"id":"2110.07067","title":"Offline Reinforcement Learning for Autonomous Driving with Safety and Exploration Enhancement","created":"2021-10-13","cited_by_count":29,"area":"driving"},{"id":"2211.11056","title":"Safe Control Under Input Limits with Neural Control Barrier Functions","created":"2022-11-20","cited_by_count":29,"area":null},{"id":"2410.08304","title":"Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers","created":"2024-10-10","cited_by_count":29,"area":"lr"},{"id":"2206.10524","title":"Lyapunov Density Models: Constraining Distribution Shift in Learning-Based Control","created":"2022-06-21","cited_by_count":28,"area":null},{"id":"2111.07695","title":"Joint Synthesis of Safety Certificate and Safe Control Policy using Constrained Reinforcement Learning","created":"2021-11-15","cited_by_count":27,"area":null},{"id":"2112.09495","title":"Stability Verification in Stochastic Control Systems via Neural Network Supermartingales","created":"2021-12-17","cited_by_count":26,"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":"2305.06547","title":"Neural Lyapunov Control for Discrete-Time Systems","created":"2023-05-11","cited_by_count":23,"area":null},{"id":"2206.01463","title":"Safety Certification for Stochastic Systems via Neural Barrier Functions","created":"2022-06-03","cited_by_count":22,"area":null},{"id":"2504.03515","title":"Dexterous Manipulation through Imitation Learning: A Survey","created":"2025-04-04","cited_by_count":21,"area":"offlinerl"},{"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":"2312.09131","title":"Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification","created":"2023-12-14","cited_by_count":20,"area":null},{"id":"2503.00187","title":"Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks","created":"2025-02-28","cited_by_count":20,"area":"safety"},{"id":"2105.04682","title":"Value Iteration in Continuous Actions, States and Time","created":"2021-05-10","cited_by_count":18,"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":"2303.10506","title":"Neural Operators of Backstepping Controller and Observer Gain Functions for Reaction-Diffusion PDEs","created":"2023-03-18","cited_by_count":18,"area":null},{"id":"2110.14296","title":"Learning Stable Deep Dynamics Models for Partially Observed or Delayed Dynamical Systems","created":"2021-10-27","cited_by_count":17,"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":"2301.10339","title":"AutoCost: Evolving Intrinsic Cost for Zero-violation Reinforcement Learning","created":"2023-01-24","cited_by_count":17,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"area":null},{"id":"2103.14722","title":"Almost Surely Stable Deep Dynamics","created":"2021-03-26","cited_by_count":16,"area":null},{"id":"2109.13359","title":"Lyapunov-Net: A Deep Neural Network Architecture for Lyapunov Function Approximation","created":"2021-09-27","cited_by_count":16,"area":null},{"id":"2301.12012","title":"In-Distribution Barrier Functions: Self-Supervised Policy Filters that Avoid Out-of-Distribution States","created":"2023-01-27","cited_by_count":16,"area":null},{"id":"2405.14058","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","created":"2024-05-22","cited_by_count":16,"area":"deeprl"},{"id":"2407.09645","title":"Hamilton-Jacobi Reachability in Reinforcement Learning: A Survey","created":"2024-07-12","cited_by_count":16,"area":"deeprl"},{"id":"2311.09793","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","created":"2023-11-16","cited_by_count":15,"area":null},{"id":"2112.04219","title":"Learning over All Stabilizing Nonlinear Controllers for a Partially-Observed Linear System","created":"2021-12-08","cited_by_count":14,"area":null},{"id":"2210.12546","title":"Policy Optimization with Advantage Regularization for Long-Term Fairness in Decision Systems","created":"2022-10-22","cited_by_count":14,"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":"2111.03165","title":"Infinite Time Horizon Safety of Bayesian Neural Networks","created":"2021-11-04","cited_by_count":13,"area":null},{"id":"2512.01295","title":"Systems Security Foundations for Agentic Computing","created":"2025-12-01","cited_by_count":13,"area":"agents"},{"id":"2410.16281","title":"Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation","created":"2024-10-04","cited_by_count":12,"area":null},{"id":"2109.06728","title":"Learning Density Distribution of Reachable States for Autonomous Systems","created":"2021-09-14","cited_by_count":11,"area":null},{"id":"2201.05098","title":"Neural Koopman Lyapunov Control","created":"2022-01-13","cited_by_count":11,"area":null},{"id":"2201.12243","title":"Joint Differentiable Optimization and Verification for Certified Reinforcement Learning","created":"2022-01-28","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":"2112.01253","title":"Youla-REN: Learning Nonlinear Feedback Policies with Robust Stability Guarantees","created":"2021-12-02","cited_by_count":10,"area":null},{"id":"2403.10013","title":"LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction","created":"2024-03-15","cited_by_count":10,"area":null},{"id":"2105.12189","title":"Robust Value Iteration for Continuous Control Tasks","created":"2021-05-25","cited_by_count":8,"area":null},{"id":"2403.08448","title":"Actor-Critic Physics-informed Neural Lyapunov Control","created":"2024-03-13","cited_by_count":8,"area":"deeprl"},{"id":"2404.12187","title":"Stability-informed Bayesian Optimization for MPC Cost Function Learning","created":"2024-04-18","cited_by_count":8,"area":null},{"id":"2112.14415","title":"Data-Driven Computational Methods for the Domain of Attraction and Zubov's Equation","created":"2021-12-29","cited_by_count":7,"area":null},{"id":"2204.07373","title":"Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning","created":"2022-04-15","cited_by_count":7,"area":null},{"id":"2205.10728","title":"Neural Lyapunov Differentiable Predictive Control","created":"2022-05-22","cited_by_count":7,"area":null},{"id":"2402.10998","title":"Provably Safe Neural Network Controllers via Differential Dynamic Logic","created":"2024-02-16","cited_by_count":7,"area":null},{"id":"2403.07308","title":"Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees","created":"2024-03-12","cited_by_count":7,"area":null},{"id":"2110.01954","title":"Continuous-Time Fitted Value Iteration for Robust Policies","created":"2021-10-05","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":"2309.06090","title":"A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis","created":"2023-09-12","cited_by_count":6,"area":null},{"id":"2410.10744","title":"Adversarially Robust Out-of-Distribution Detection Using Lyapunov-Stabilized Embeddings","created":"2024-10-14","cited_by_count":6,"area":null},{"id":"2410.23790","title":"Neural Model Checking","created":"2024-10-31","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":"2103.03869","title":"Lyapunov-Regularized Reinforcement Learning for Power System Transient Stability","created":"2021-03-05","cited_by_count":5,"area":null},{"id":"2112.12999","title":"Total Energy Shaping with Neural Interconnection and Damping Assignment -- Passivity Based Control","created":"2021-12-24","cited_by_count":5,"area":null},{"id":"2206.01704","title":"KCRL: Krasovskii-Constrained Reinforcement Learning with Guaranteed Stability in Nonlinear Dynamical Systems","created":"2022-06-03","cited_by_count":5,"area":null},{"id":"2210.05304","title":"Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems","created":"2022-10-11","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":"2304.02733","title":"Learning Stability Attention in Vision-based End-to-end Driving Policies","created":"2023-04-05","cited_by_count":5,"area":"driving"},{"id":"2402.03145","title":"SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems","created":"2024-02-05","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":"2304.08845","title":"Feasible Policy Iteration for Safe Reinforcement Learning","created":"2023-04-18","cited_by_count":4,"area":null},{"id":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","cited_by_count":4,"area":null},{"id":"2407.07088","title":"Safe and Reliable Training of Learning-Based Aerospace Controllers","created":"2024-07-09","cited_by_count":4,"area":"deeprl"},{"id":"2409.20528","title":"Formally Verified Physics-Informed Neural Control Lyapunov Functions","created":"2024-09-30","cited_by_count":4,"area":null},{"id":"2210.16940","title":"FI-ODE: Certifiably Robust Forward Invariance in Neural ODEs","created":"2022-10-30","cited_by_count":3,"area":null},{"id":"2312.05332","title":"MPC-Inspired Reinforcement Learning for Verifiable Model-Free Control","created":"2023-12-08","cited_by_count":3,"area":null},{"id":"2403.04118","title":"Globally Stable Neural Imitation Policies","created":"2024-03-07","cited_by_count":3,"area":"offlinerl"},{"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":"2412.12996","title":"Neural Control and Certificate Repair via Runtime Monitoring","created":"2024-12-17","cited_by_count":3,"area":null},{"id":"2506.13961","title":"Safe Domains of Attraction for Discrete-Time Nonlinear Systems: Characterization and Verifiable Neural Network Estimation","created":"2025-06-16","cited_by_count":3,"area":null},{"id":"2112.10690","title":"Adversarially Robust Stability Certificates can be Sample-Efficient","created":"2021-12-20","cited_by_count":2,"area":null},{"id":"2203.09710","title":"Learning Stabilizable Deep Dynamics Models","created":"2022-03-18","cited_by_count":2,"area":null},{"id":"2206.13093","title":"Learning Deep Input-Output Stable Dynamics","created":"2022-06-27","cited_by_count":2,"area":null},{"id":"2207.07731","title":"Distributed Learning of Neural Lyapunov Functions for Large-Scale Networked Dissipative Systems","created":"2022-07-15","cited_by_count":2,"area":null},{"id":"2312.15340","title":"Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems","created":"2023-12-23","cited_by_count":2,"area":null},{"id":"2404.03017","title":"Distributionally Robust Policy and Lyapunov-Certificate Learning","created":"2024-04-03","cited_by_count":2,"area":null},{"id":"2405.17832","title":"Mollification Effects of Policy Gradient Methods","created":"2024-05-28","cited_by_count":2,"area":"deeprl"},{"id":"2502.08337","title":"Hierarchical Multi-Agent Framework for Carbon-Efficient Liquid-Cooled Data Center Clusters","created":"2025-02-12","cited_by_count":2,"area":null},{"id":"2509.09863","title":"Off Policy Lyapunov Stability in Reinforcement Learning","created":"2025-09-11","cited_by_count":2,"area":"deeprl"},{"id":"2103.02987","title":"Learning-based Adaptive Control using Contraction Theory","created":"2021-03-04","cited_by_count":1,"area":null},{"id":"2205.11991","title":"Learning Stabilizing Policies in Stochastic Control Systems","created":"2022-05-24","cited_by_count":1,"area":null},{"id":"2301.00521","title":"A Policy Optimization Method Towards Optimal-time Stability","created":"2023-01-02","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":"2403.17692","title":"Manifold-Guided Lyapunov Control with Diffusion Models","created":"2024-03-26","cited_by_count":1,"area":"diffusion"},{"id":"2410.09708","title":"Control the GNN: Utilizing Neural Controller with Lyapunov Stability for Test-Time Feature Reconstruction","created":"2024-10-13","cited_by_count":1,"area":null},{"id":"2411.15350","title":"Dynamic Tube MPC: Learning Tube Dynamics with Massively Parallel Simulation for Robust Safety in Practice","created":"2024-11-22","cited_by_count":1,"area":null},{"id":"2411.15643","title":"Safe PDE Boundary Control with Neural Operators","created":"2024-11-23","cited_by_count":1,"area":null}],"next_cursor":"100"}