Occupancy estimation for smart buildings by an auto-regressive hidden Markov model | IEEE Conference Publication | IEEE Xplore