Reinforcement Learning for Optimal HVAC Control: From Theory to Real-World Applications | IEEE Conference Publication | IEEE Xplore