Optimal Charging of Electric Vehicles With Uncertain Departure Times: A Closed-Form Solution | IEEE Journals & Magazine | IEEE Xplore