Autonomously generating operations sequences for a Mars rover using AI-based planning | IEEE Conference Publication | IEEE Xplore