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]
Abstract is missing.