Safety Manifold for Stochastic Model Predictive Control of an Autonomous Vehicle Approaching Unsignalized Crosswalks with Pedestrians | IEEE Conference Publication | IEEE Xplore