ML Anthology

Ma, Chenyu

1 publications

AISTATS 2024 Formal Verification of Unknown Stochastic Systems via Non-Parametric Estimation Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani