C
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 Musavi
Dawei Sun
Sayan Mitra
Geir E. Dullerud
Sanjay Shakkottai
Published in:
CCTA (2021)
Keyphrases
</>
stochastic systems
optimization problems
particle filter
monte carlo
model checking