Anfonwch hwn fel neges destun: Efficient synthesis of robust models for stochastic systems