Login / Signup

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

Zhi ZhangChenyu MaSaleh SoudijaniSadegh Soudjani
Published in: CoRR (2024)
Keyphrases
  • formal verification
  • stochastic systems
  • model checking
  • conservation laws
  • stochastic models
  • confidence intervals
  • parameter estimation
  • model checker
  • density estimation
  • stochastic processes