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

Zenodo2024-07-10 更新2026-04-07 收录

分布鲁棒安全验证

障碍证书方法

数据链接：

https://zenodo.org/doi/10.5281/zenodo.17209841 数据链接链接失效反馈

官方服务：

资源简介：

Simulation data for the experiments in "Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings"

创建时间：

2024-07-10

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

资源简介：

相关数据集