Efficient Scheduling of Smart Building Energy Systems Using AI Planning | IEEE Conference Publication | IEEE Xplore