{"total":20,"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":"2111.09971","title":"Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations","created":"2021-11-18","cited_by_count":20,"area":null},{"id":"2405.00846","title":"Gameplay Filters: Robust Zero-Shot Safety through Adversarial Imagination","created":"2024-05-01","cited_by_count":16,"area":null},{"id":"2302.00171","title":"Active Uncertainty Reduction for Safe and Efficient Interaction Planning: A Shielding-Aware Dual Control Approach","created":"2023-02-01","cited_by_count":15,"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":"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":"2201.12243","title":"Joint Differentiable Optimization and Verification for Certified Reinforcement Learning","created":"2022-01-28","cited_by_count":11,"area":null},{"id":"2403.10497","title":"Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings","created":"2024-03-15","cited_by_count":9,"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":"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.00301","title":"Learning Globally Smooth Functions on Manifolds","created":"2022-10-01","cited_by_count":4,"area":null},{"id":"2604.05374","title":"LMI-Net: Linear Matrix Inequality--Constrained Neural Networks via Differentiable Projection Layers","created":"2026-04-07","cited_by_count":4,"area":null},{"id":"2212.00679","title":"Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics","created":"2022-12-01","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":"2106.11881","title":"Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe","created":"2021-06-22","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":"2411.15972","title":"Stability properties of gradient flow dynamics for the symmetric low-rank matrix factorization problem","created":"2024-11-24","cited_by_count":0,"area":null},{"id":"2510.22021","title":"Worst-Case Distance-Aware Error Bounds for Neural Networks","created":"2025-10-24","cited_by_count":0,"area":null},{"id":"2603.10392","title":"Safe Probabilistic Planning for Human-Robot Interaction using Conformal Risk Control","created":"2026-03-11","cited_by_count":0,"area":null}],"next_cursor":null}