Efficient Parameter Synthesis Using Optimized State Exploration Strategies | IEEE Conference Publication | IEEE Xplore