Login / Signup

HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization.

Negin MusaviDawei SunSayan MitraGeir E. DullerudSanjay Shakkottai
Published in: CCTA (2021)
Keyphrases
  • stochastic systems
  • optimization problems
  • particle filter
  • monte carlo
  • model checking