Automated verification and synthesis of stochastic hybrid systems: A survey