Optimal building climate control: a solution based on nested dynamic programming and randomized optimization | IEEE Conference Publication | IEEE Xplore