Computational Cognitive Modeling of Operator Behavior in Telerover Navigation | IEEE Conference Publication | IEEE Xplore