TY  - RPRT
TI  - Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
AU  - Oliver Schön
AU  - Zhengang Zhong
AU  - Sadegh Soudjani
PY  - 2024
UR  - https://arxiv.org/abs/2403.10497
ID  - 2403.10497
ER  -