Seol mar théacs é seo: Efficient synthesis of robust models for stochastic systems