{"total":72,"rows":[{"id":"2309.05837","title":"The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems","created":"2023-09-11","cited_by_count":88,"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":"2205.07536","title":"Reachability Constrained Reinforcement Learning","created":"2022-05-16","cited_by_count":59,"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":"2211.11056","title":"Safe Control Under Input Limits with Neural Control Barrier Functions","created":"2022-11-20","cited_by_count":29,"area":null},{"id":"2306.13867","title":"Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems","created":"2023-06-24","cited_by_count":28,"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":"2309.01909","title":"A Survey on Physics Informed Reinforcement Learning: Review and Open Problems","created":"2023-09-05","cited_by_count":24,"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":"2210.07553","title":"Safe Model-Based Reinforcement Learning with an Uncertainty-Aware Reachability Certificate","created":"2022-10-14","cited_by_count":18,"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":"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":"2310.09360","title":"Exact Verification of ReLU Neural Control Barrier Functions","created":"2023-10-13","cited_by_count":14,"area":null},{"id":"2304.04066","title":"Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach","created":"2023-04-08","cited_by_count":13,"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":"2201.12231","title":"Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications","created":"2022-01-28","cited_by_count":12,"area":null},{"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":"2502.11057","title":"A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems","created":"2025-02-16","cited_by_count":12,"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":"2303.04313","title":"Online Control Barrier Functions for Decentralized Multi-Agent Navigation","created":"2023-03-08","cited_by_count":11,"area":null},{"id":"2201.01347","title":"Learning Differentiable Safety-Critical Control using Control Barrier Functions for Generalization to Novel Environments","created":"2022-01-04","cited_by_count":9,"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":"2311.02227","title":"State-Wise Safe Reinforcement Learning With Pixel Observations","created":"2023-11-03","cited_by_count":9,"area":null},{"id":"2209.10034","title":"Differentiable Safe Controller Design through Control Barrier Functions","created":"2022-09-20","cited_by_count":8,"area":null},{"id":"2210.09378","title":"Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation","created":"2022-10-17","cited_by_count":8,"area":null},{"id":"2309.16077","title":"Task-Oriented Koopman-Based Control with Contrastive Encoder","created":"2023-09-28","cited_by_count":8,"area":null},{"id":"2502.03640","title":"Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control","created":"2025-02-05","cited_by_count":8,"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":"2405.09794","title":"Human-AI Safety: A Descendant of Generative AI and Control Systems Safety","created":"2024-05-16","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":"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":"2205.05787","title":"Bridging Model-based Safety and Model-free Reinforcement Learning through System Identification of Low Dimensional Linear Models","created":"2022-05-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":"2412.17432","title":"Neural Continuous-Time Supermartingale Certificates","created":"2024-12-23","cited_by_count":5,"area":null},{"id":"2401.05629","title":"Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation","created":"2024-01-11","cited_by_count":4,"area":null},{"id":"2503.17395","title":"CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions","created":"2025-03-18","cited_by_count":4,"area":null},{"id":"2301.11374","title":"Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation","created":"2023-01-26","cited_by_count":3,"area":null},{"id":"2303.04212","title":"ConBaT: Control Barrier Transformer for Safe Policy Learning","created":"2023-03-07","cited_by_count":3,"area":null},{"id":"2311.06769","title":"Learning Predictive Safety Filter via Decomposition of Robust Invariant Set","created":"2023-11-12","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":"2412.12996","title":"Neural Control and Certificate Repair via Runtime Monitoring","created":"2024-12-17","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":"2505.11755","title":"Reachability Barrier Networks: Learning Hamilton-Jacobi Solutions for Smooth and Flexible Control Barrier Functions","created":"2025-05-16","cited_by_count":3,"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":"2404.03017","title":"Distributionally Robust Policy and Lyapunov-Certificate Learning","created":"2024-04-03","cited_by_count":2,"area":null},{"id":"2412.02029","title":"Learning Ensembles of Vision-based Safety Control Filters","created":"2024-12-02","cited_by_count":2,"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":"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":"2304.01592","title":"PAC-Based Formal Verification for Out-of-Distribution Data Detection","created":"2023-04-04","cited_by_count":1,"area":null},{"id":"2402.16449","title":"Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments","created":"2024-02-26","cited_by_count":1,"area":null},{"id":"2410.14528","title":"Domain Adaptive Safety Filters via Deep Operator Learning","created":"2024-10-18","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},{"id":"2503.00191","title":"Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees","created":"2025-02-28","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":"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":"2302.14339","title":"Efficient Exploration Using Extra Safety Budget in Constrained Policy Optimization","created":"2023-02-28","cited_by_count":0,"area":null},{"id":"2310.02869","title":"Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications","created":"2023-10-04","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":"2402.18677","title":"Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks","created":"2024-02-28","cited_by_count":0,"area":null},{"id":"2408.17246","title":"(Un)supervised Learning of Maximal Lyapunov Functions","created":"2024-08-30","cited_by_count":0,"area":null},{"id":"2503.21141","title":"Safe Human Robot Navigation in Warehouse Scenario","created":"2025-03-27","cited_by_count":0,"area":null},{"id":"2504.02607","title":"Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks","created":"2025-04-03","cited_by_count":0,"area":null},{"id":"2505.17696","title":"Enhancing AI System Resiliency: Formulation and Guarantee for LSTM Resilience Based on Control Theory","created":"2025-05-23","cited_by_count":0,"area":null},{"id":"2602.03799","title":"Conformal Reachability for Safe Control in Unknown Environments","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2605.06934","title":"Learned Lyapunov Shielding for Adaptive Control","created":"2026-05-07","cited_by_count":0,"area":null},{"id":"2606.30935","title":"ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints","created":"2026-06-29","cited_by_count":0,"area":null}],"next_cursor":null}