@ARTICLE{MSMDS-HyHoover23,
  author={Musavi, Negin and Sun, Dawei and Mitra, Sayan and Dullerud, Geir E. and Shakkottai, Sanjay},
  journal={IEEE Open Journal of Control Systems}, 
  title={$\mathsf{HyHooVer}$: Verification and Parameter Synthesis in Stochastic Systems With Hybrid State Space Using Optimistic Optimization}, 
  year={2023},
  volume={2},
  pages={263-276},
  keywords={Optimization;Control systems;Closed box;System dynamics;Markov processes;Autonomous systems;Monte Carlo methods;Autonomous systems;black-box optimization;monte-carlo tree search;multi-armed bandits;safety verification},
  doi={10.1109/OJCSYS.2023.3299152}}