{"total":32,"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":"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":"2105.14937","title":"Safe Pontryagin Differentiable Programming","created":"2021-05-31","cited_by_count":26,"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":"2206.01463","title":"Safety Certification for Stochastic Systems via Neural Barrier Functions","created":"2022-06-03","cited_by_count":22,"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":"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":"2101.06492","title":"Learning Robust Hybrid Control Barrier Functions for Uncertain Systems","created":"2021-01-16","cited_by_count":14,"area":null},{"id":"2305.09793","title":"Reinforcement Learning for Safe Robot Control using Control Lyapunov Barrier Functions","created":"2023-05-16","cited_by_count":13,"area":null},{"id":"2111.11277","title":"BarrierNet: A Safety-Guaranteed Layer for Neural Networks","created":"2021-11-22","cited_by_count":12,"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":"2210.04763","title":"On the Forward Invariance of Neural ODEs","created":"2022-10-10","cited_by_count":11,"area":null},{"id":"2307.03015","title":"Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance","created":"2023-07-06","cited_by_count":9,"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":"2210.08339","title":"Reachable Polyhedral Marching (RPM): An Exact Analysis Tool for Deep-Learned Control Systems","created":"2022-10-15","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":"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":"2404.18813","title":"Safe Reach Set Computation via Neural Barrier Certificates","created":"2024-04-29","cited_by_count":5,"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":"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":"2112.10690","title":"Adversarially Robust Stability Certificates can be Sample-Efficient","created":"2021-12-20","cited_by_count":2,"area":null},{"id":"2208.10733","title":"Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions","created":"2022-08-23","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":"2301.00521","title":"A Policy Optimization Method Towards Optimal-time Stability","created":"2023-01-02","cited_by_count":1,"area":null},{"id":"2405.13735","title":"Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model","created":"2024-05-22","cited_by_count":1,"area":null},{"id":"2512.13868","title":"Safe Online Control-Informed Learning","created":"2025-12-15","cited_by_count":1,"area":null},{"id":"2201.00801","title":"Revisiting PGD Attacks for Stability Analysis of Large-Scale Nonlinear Systems and Perception-Based Control","created":"2022-01-03","cited_by_count":0,"area":null},{"id":"2311.03680","title":"Deep Bayesian Reinforcement Learning for Spacecraft Proximity Maneuvers and Docking","created":"2023-11-07","cited_by_count":0,"area":null},{"id":"2403.00381","title":"Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systems","created":"2024-03-01","cited_by_count":0,"area":null}],"next_cursor":null}