أرسل هذا في رسالة قصيرة: Efficient synthesis of robust models for stochastic systems