User comfort and energy efficiency in HVAC systems by Q-learning | IEEE Conference Publication | IEEE Xplore