Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/ccta/MusaviSMDS21
@inproceedings{DBLP:conf/ccta/MusaviSMDS21, author = {Negin Musavi and Dawei Sun and Sayan Mitra and Geir E. Dullerud and Sanjay Shakkottai}, title = {HooVer: {A} Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization}, booktitle = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2021, San Diego, CA, USA, August 9-11, 2021}, pages = {923--930}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/CCTA48906.2021.9659123}, doi = {10.1109/CCTA48906.2021.9659123}, timestamp = {Sat, 30 Sep 2023 09:36:11 +0200}, biburl = {https://dblp.org/rec/conf/ccta/MusaviSMDS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.