TY  - RPRT
TI  - Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
AU  - Zhi Zhang
AU  - Chenyu Ma
AU  - Saleh Soudijani
AU  - Sadegh Soudjani
PY  - 2024
UR  - https://arxiv.org/abs/2403.05350
ID  - 2403.05350
ER  -