Chance-Constrained Trajectory Optimization for Mars Ascent Vehicle Based on Sequential Convex Optimization | Synapse