{"total":94,"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":"2312.00812","title":"Empowering Autonomous Driving with Large Language Models: A Safety Perspective","created":"2023-11-28","cited_by_count":34,"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":"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":"2503.00187","title":"Steering Dialogue Dynamics for Robustness against Multi-turn Jailbreaking Attacks","created":"2025-02-28","cited_by_count":20,"area":"safety"},{"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":"2405.14058","title":"Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates","created":"2024-05-22","cited_by_count":16,"area":"deeprl"},{"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":"2206.04632","title":"Temporal Logic Imitation: Learning Plan-Satisficing Motion Policies from Demonstrations","created":"2022-06-09","cited_by_count":10,"area":"offlinerl"},{"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":"2405.15994","title":"Verified Safe Reinforcement Learning for Neural Network Dynamic Models","created":"2024-05-25","cited_by_count":7,"area":"deeprl"},{"id":"2409.13867","title":"MAGICS: Adversarial RL with Minimax Actors Guided by Implicit Critic Stackelberg for Convergent Neural Synthesis of Robot Safety","created":"2024-09-20","cited_by_count":7,"area":"deeprl"},{"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":"2409.19190","title":"RAIL: Reachability-Aided Imitation Learning for Safe Policy Execution","created":"2024-09-28","cited_by_count":5,"area":"offlinerl"},{"id":"2412.17432","title":"Neural Continuous-Time Supermartingale Certificates","created":"2024-12-23","cited_by_count":5,"area":null},{"id":"2505.00908","title":"Learning Conservative Neural Control Barrier Functions from Offline Data","created":"2025-05-01","cited_by_count":5,"area":"offlinerl"},{"id":"2512.10822","title":"V-OCBF: Learning Safety Filters from Offline Data via Value-Guided Offline Control Barrier Functions","created":"2025-12-11","cited_by_count":5,"area":"offlinerl"},{"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":"2407.07088","title":"Safe and Reliable Training of Learning-Based Aerospace Controllers","created":"2024-07-09","cited_by_count":4,"area":"deeprl"},{"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":"2401.13148","title":"Stable and Safe Human-aligned Reinforcement Learning through Neural Ordinary Differential Equations","created":"2024-01-23","cited_by_count":3,"area":"deeprl"},{"id":"2409.12045","title":"Handling Long-Term Safety and Uncertainty in Safe Reinforcement Learning","created":"2024-09-18","cited_by_count":3,"area":"deeprl"},{"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":"2502.02205","title":"From Uncertain to Safe: Conformal Adaptation of Diffusion Models for Safe PDE Control","created":"2025-02-04","cited_by_count":3,"area":"diffusion"},{"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.02898","title":"Deep Reinforcement Learning for Reach-Avoid-Stay Problems","created":"2024-10-03","cited_by_count":1,"area":"deeprl"},{"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":"2503.15629","title":"Neural Lyapunov Function Approximation with Self-Supervised Reinforcement Learning","created":"2025-03-19","cited_by_count":1,"area":"deeprl"},{"id":"2507.11987","title":"Formal Verification of Neural Certificates Done Dynamically","created":"2025-07-16","cited_by_count":1,"area":null},{"id":"2510.13727","title":"From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails","created":"2025-10-15","cited_by_count":1,"area":"safety"},{"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":"2409.09883","title":"Robots that Suggest Safe Alternatives","created":"2024-09-15","cited_by_count":0,"area":"offlinerl"},{"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":"2509.19110","title":"A Fast Initialization Method for Neural Network Controllers: A Case Study of Image-based Visual Servoing Control for the multicopter Interception","created":"2025-09-23","cited_by_count":0,"area":"deeprl"},{"id":"2602.03799","title":"Conformal Reachability for Safe Control in Unknown Environments","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2602.05311","title":"Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates","created":"2026-02-05","cited_by_count":0,"area":"deeprl"},{"id":"2602.08977","title":"Contraction Metric Based Safe Reinforcement Learning Force Control for a Hydraulic Actuator with Real-World Training","created":"2026-02-09","cited_by_count":0,"area":"deeprl"},{"id":"2603.00043","title":"Reinforcement Learning for Control with Probabilistic Stability Guarantee: A Finite-Sample Approach","created":"2026-02-09","cited_by_count":0,"area":"deeprl"},{"id":"2605.05989","title":"Verifiable Model-Free Safety Filters via Reinforcement Learning","created":"2026-05-07","cited_by_count":0,"area":"deeprl"},{"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}