{"total":22,"rows":[{"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":"2310.09360","title":"Exact Verification of ReLU Neural Control Barrier Functions","created":"2023-10-13","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":"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":"2407.01639","title":"ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks","created":"2024-06-30","cited_by_count":7,"area":null},{"id":"2306.04026","title":"Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory","created":"2023-06-06","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":"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":"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":"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":"2509.16614","title":"ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks","created":"2025-09-20","cited_by_count":2,"area":null},{"id":"2605.25346","title":"Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers","created":"2026-05-25","cited_by_count":2,"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.15643","title":"Safe PDE Boundary Control with Neural Operators","created":"2024-11-23","cited_by_count":1,"area":null},{"id":"2504.11045","title":"Neural Control Barrier Functions from Physics Informed Neural Networks","created":"2025-04-15","cited_by_count":1,"area":null},{"id":"2603.06921","title":"CN-CBF: Composite Neural Control Barrier Function for Robot Navigation in Dynamic Environments","created":"2026-03-06","cited_by_count":1,"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":"2410.04260","title":"Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints","created":"2024-10-05","cited_by_count":0,"area":null},{"id":"2505.19521","title":"Learning Dynamics under Environmental Constraints via Measurement-Induced Bundle Structures","created":"2025-05-26","cited_by_count":0,"area":null},{"id":"2605.07757","title":"Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations","created":"2026-05-08","cited_by_count":0,"area":null},{"id":"2609.12831","title":"VertexCBF: Improving Neural Control Barrier Functions via Vertex-Restricted Control Search","created":"2026-09-11","cited_by_count":0,"area":null}],"next_cursor":null}