इसका टेक्स्ट मैसेज भेजे: Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems