Dynamic Mechanism Design for Human-in-the-Loop Control of Building Energy Consumption | IEEE Conference Publication | IEEE Xplore