Models and Algorithms for Human-Aware Task Planning with Integrated Theory of Mind | IEEE Conference Publication | IEEE Xplore