Abstraction Based Reachability Analysis for Finite Branching Stochastic Hybrid Systems | IEEE Conference Publication | IEEE Xplore