Login / Signup
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