Login / Signup
Saleh Soudijani
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Model Checker
Density Estimation
Stochastic Systems
Conservation Laws
Top Venues
AISTATS
CoRR
</>
Publications
</>
Zhi Zhang
,
Chenyu Ma
,
Saleh Soudijani
,
Sadegh Soudjani
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation.
CoRR
(2024)
Zhi Zhang
,
Chenyu Ma
,
Saleh Soudijani
,
Sadegh Soudjani
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation.
AISTATS
(2024)