Optimal HVAC Scheduling under Temperature Uncertainty using the Wasserstein Metric | IEEE Conference Publication | IEEE Xplore