%0 Conference Paper %1 conf/ccta/MusaviSMDS21 %A Musavi, Negin %A Sun, Dawei %A Mitra, Sayan %A Dullerud, Geir E. %A Shakkottai, Sanjay %B CCTA %D 2021 %I IEEE %K dblp %P 923-930 %T HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization. %U http://dblp.uni-trier.de/db/conf/ccta/ccta2021.html#MusaviSMDS21 %@ 978-1-6654-3643-4

@inproceedings{conf/ccta/MusaviSMDS21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Musavi, Negin and Sun, Dawei and Mitra, Sayan and Dullerud, Geir E. and Shakkottai, Sanjay}, biburl = {https://www.bibsonomy.org/bibtex/27e039a2021ca2185f9313ac025775d69/dblp}, booktitle = {CCTA}, crossref = {conf/ccta/2021}, ee = {https://doi.org/10.1109/CCTA48906.2021.9659123}, interhash = {c2b2cb7573a0cfadbbc81bc64be8adfb}, intrahash = {7e039a2021ca2185f9313ac025775d69}, isbn = {978-1-6654-3643-4}, keywords = {dblp}, pages = {923-930}, publisher = {IEEE}, timestamp = {2024-04-09T12:29:58.000+0200}, title = {HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization.}, url = {http://dblp.uni-trier.de/db/conf/ccta/ccta2021.html#MusaviSMDS21}, year = 2021 }