Accelerating parameter synthesis for stochastic models