Controlling Large Electric Vehicle Charging Stations via User Behavior Modeling and Stochastic Programming | IEEE Conference Publication | IEEE Xplore