Efficiency Through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems