TY  - RPRT
TI  - Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization
AU  - Negin Musavi
AU  - Dawei Sun
AU  - Sayan Mitra
AU  - Geir Dullerud
AU  - Sanjay Shakkottai
PY  - 2020
UR  - https://arxiv.org/abs/1911.01537
ID  - 1911.01537
ER  -