Semi-Analytic Spacecraft Maneuver Design with Stochastic Constraints