Cost Moment Control and Verification Theorem for Nonlinear Stochastic Systems | IEEE Conference Publication | IEEE Xplore