1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2026
Non-parametric Formal Synthesis of Unknown Stochastic Systems: Asymptotic Convergence Guarantees
Zhi Zhang, Sadegh Soudjani
Data-driven techniques have shown promising potential for checking behavior of complex systems operating in safety-critical domains against safety and other temporal requirements.…
eess.SY2024★ 1 cited
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
Zhi Zhang, Chenyu Ma, Saleh Soudijani +1
A novel data-driven method for formal verification is proposed to study complex systems operating in safety-critical domains. The proposed approach is able to formally verify discr…