أرسل هذا في رسالة قصيرة: Approximate Model Checking of Stochastic Hybrid Systems