Login / Signup
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings.
Oliver Schön
Zhengang Zhong
Sadegh Soudjani
Published in:
CoRR (2024)
Keyphrases
</>
data driven
robust optimization
database
model checking
feature space
low dimensional
computationally efficient
robust estimation