Title: Cover-time planning