HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization | IEEE Conference Publication | IEEE Xplore