Cover Image

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Schön, Oliver, Zhong, Zhengang, Soudjani, Sadegh
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Kernel-Based Learning of Safety Barriers
by: Schön, Oliver, et al.
Published: (2026)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
by: Casablanca, Ernesto, et al.
Published: (2025)

Safety Certification is Classification
by: Schön, Oliver, et al.
Published: (2026)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
by: Schön, Oliver, et al.
Published: (2024)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Verification of Quantum Circuits through Discrete-Time Barrier Certificates
by: Lewis, Marco, et al.
Published: (2024)

Barrier Certificates for Uncertain Temporal Specifications
by: Mamduhi, Mohammad H., et al.
Published: (2026)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
by: Schön, Oliver, et al.
Published: (2025)

Kernel-Based Safe Exploration in Deep Reinforcement Learning
by: Majumdar, Rupak, et al.
Published: (2026)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)

Data-Driven Permissible Safe Control with Barrier Certificates
by: Mazouz, Rayan, et al.
Published: (2024)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
by: Schön, Oliver, et al.
Published: (2023)

SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates
by: Esmaeili, Babak, et al.
Published: (2025)

Quasi-Newton Compatible Actor-Critic for Deterministic Policies
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Distributionally Robust Policy and Lyapunov-Certificate Learning
by: Long, Kehan, et al.
Published: (2024)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
by: Mulagaleti, Sampath Kumar, et al.
Published: (2025)

On the Sample Complexity of Discounted Reinforcement Learning with Optimized Certainty Equivalents
by: Mortensen, Oliver, et al.
Published: (2026)

On Certificates for Almost Sure Reachability in Stochastic Systems
by: Kordabad, Arash Bahari, et al.
Published: (2025)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
by: Monir, Negar, et al.
Published: (2025)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
by: Nazeri, Mahdi, et al.
Published: (2025)

Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference
by: Lefringhausen, Robert, et al.
Published: (2025)

Robustness Certificates for Neural Networks against Adversarial Attacks
by: Taheri, Sara, et al.
Published: (2025)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
by: Zhang, Zhi, et al.
Published: (2024)

Safety Certification in the Latent space using Control Barrier Functions and World Models
by: Anand, Mehul, et al.
Published: (2025)

Safety Beyond the Training Data: Robust Out-of-Distribution MPC via Conformalized System Level Synthesis
by: Srinivasan, Anutam, et al.
Published: (2026)

Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
by: Hamelbeck, Paul, et al.
Published: (2025)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
by: Mandal, Udayan, et al.
Published: (2024)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
by: Nazeri, Mahdi, et al.
Published: (2025)

A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
by: Damare, Amol, et al.
Published: (2022)

Robustness of Iteratively Pre-Conditioned Gradient-Descent Method: The Case of Distributed Linear Regression Problem
by: Chakrabarti, Kushal, et al.
Published: (2021)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Dynamic High-Order Control Barrier Functions with Diffuser for Safety-Critical Trajectory Planning at Signal-Free Intersections
by: Chen, Di, et al.
Published: (2024)