• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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