{"total":18,"rows":[{"id":"2206.01463","title":"Safety Certification for Stochastic Systems via Neural Barrier Functions","created":"2022-06-03","cited_by_count":22,"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":"2408.09033","title":"Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification","created":"2024-08-16","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":"2103.02398","title":"Correct-by-construction reach-avoid control of partially observable linear stochastic systems","created":"2021-03-03","cited_by_count":5,"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":"2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","created":"2024-06-02","cited_by_count":4,"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":"2405.00136","title":"Data-Driven Permissible Safe Control with Barrier Certificates","created":"2024-04-30","cited_by_count":3,"area":null},{"id":"2407.21029","title":"Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification","created":"2024-07-15","cited_by_count":3,"area":null},{"id":"2109.02791","title":"Safety-Critical Learning of Robot Control with Temporal Logic Specifications","created":"2021-09-07","cited_by_count":1,"area":null},{"id":"2405.13735","title":"Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model","created":"2024-05-22","cited_by_count":1,"area":null},{"id":"2504.01007","title":"Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes","created":"2025-04-01","cited_by_count":1,"area":null},{"id":"2601.20666","title":"Learning Contextual Runtime Monitors for Safe AI-Based Autonomy","created":"2026-01-28","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":"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":"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}