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

Zhi Zhang Chenyu Ma Saleh Soudijani Sadegh Soudjani

Published in: AISTATS (2024)

Keyphrases

formal verification
stochastic systems
model checking
conservation laws
stochastic models
model checker
confidence intervals
state space
upper bound
maximum likelihood