{"total":16,"rows":[{"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":"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":"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":"2305.08169","title":"Can Learning Deteriorate Control? Analyzing Computational Delays in Gaussian Process-Based Event-Triggered Online Learning","created":"2023-05-14","cited_by_count":8,"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":"2201.00655","title":"Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression","created":"2021-12-31","cited_by_count":5,"area":null},{"id":"2505.22235","title":"Optimal kernel regression bounds under energy-bounded noise","created":"2025-05-28","cited_by_count":4,"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":"2402.18946","title":"Real-Time Adaptive Safety-Critical Control with Gaussian Processes in High-Order Uncertain Models","created":"2024-02-29","cited_by_count":1,"area":null},{"id":"2504.01807","title":"Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference","created":"2025-04-02","cited_by_count":1,"area":null},{"id":"2103.01413","title":"Safe Learning of Uncertain Environments","created":"2021-03-02","cited_by_count":0,"area":null},{"id":"2111.00631","title":"Learning Safety Filters for Unknown Discrete-Time Linear Systems","created":"2021-11-01","cited_by_count":0,"area":null},{"id":"2311.02133","title":"Safe Online Dynamics Learning with Initially Unknown Models and Infeasible Safety Certificates","created":"2023-11-03","cited_by_count":0,"area":null},{"id":"2510.00384","title":"Learning Passive Continuous-Time Dynamics with Multistep Port-Hamiltonian Gaussian Processes","created":"2025-10-01","cited_by_count":0,"area":null},{"id":"2511.09363","title":"BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems","created":"2025-11-12","cited_by_count":0,"area":null},{"id":"2601.12002","title":"Kernel-Based Learning of Safety Barriers","created":"2026-01-17","cited_by_count":0,"area":null}],"next_cursor":null}