Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai. HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization. In IEEE Conference on Control Technology and Applications, CCTA 2021, San Diego, CA, USA, August 9-11, 2021. pages 923-930, IEEE, 2021. [doi]
@inproceedings{MusaviSMDS21,
title = {HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization},
author = {Negin Musavi and Dawei Sun and Sayan Mitra and Geir E. Dullerud and Sanjay Shakkottai},
year = {2021},
doi = {10.1109/CCTA48906.2021.9659123},
url = {https://doi.org/10.1109/CCTA48906.2021.9659123},
researchr = {https://researchr.org/publication/MusaviSMDS21},
cites = {0},
citedby = {0},
pages = {923-930},
booktitle = {IEEE Conference on Control Technology and Applications, CCTA 2021, San Diego, CA, USA, August 9-11, 2021},
publisher = {IEEE},
isbn = {978-1-6654-3643-4},
}