Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation.

Zhi Zhang, Chenyu Ma, Saleh Soudijani, Sadegh Soudjani

Browse the full AISTATS paper archive.