Impact of Occupancy Modeling and Horizon Length on HVAC Controller Efficiency. - Christian Rabbi Garaza; Pedro Hespanhol; Yonatan Mintz; Jhoanna Rhodette Pedrasa; Anil Aswani (ECC, 2018)