इसका टेक्स्ट मैसेज भेजे: Approximate Model Checking of Stochastic Hybrid Systems