Lim, B.-P. HVAC-Aware Occupancy Scheduling (Extended Abstract). AAAI 2015, 29.