Energy-comfort optimization using discomfort history and probabilistic occupancy prediction | IEEE Conference Publication | IEEE Xplore