Dynamic programming based game theoretic algorithm for economical multi-user smart home scheduling | IEEE Conference Publication | IEEE Xplore