{"total":12,"rows":[{"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":"2312.15127","title":"Gradient Shaping for Multi-Constraint Safe Reinforcement Learning","created":"2023-12-23","cited_by_count":10,"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":"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":"2511.06341","title":"Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation","created":"2025-11-09","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":"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":"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":"2412.01783","title":"Transfer Learning for Control Systems via Neural Simulation Relations","created":"2024-12-02","cited_by_count":0,"area":null},{"id":"2509.03899","title":"Sample Efficient Certification of Discrete-Time Control Barrier Functions","created":"2025-09-04","cited_by_count":0,"area":null}],"next_cursor":null}