@misc{indiciae7bf42ce71997,
  title = {Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization},
  author = {Negin Musavi and Dawei Sun and Sayan Mitra and Geir Dullerud and Sanjay Shakkottai},
  year = {2020},
  url = {https://arxiv.org/abs/1911.01537},
  note = {Source identifier: 1911.01537}
}