Rover functional autonomy development for the mars mobile science laboratory | IEEE Conference Publication | IEEE Xplore