Improving the Feasibility of Moment-Based Safety Analysis for Stochastic Dynamics | IEEE Journals & Magazine | IEEE Xplore