“…We derive task networks from M2020 sol types (Jet Propulsion Laboratory 2018), the current best available data on expected rover operations during a Martian sol. Based on (Chi et al 2018), we define a task network as a set of activities A = {a i T C, D ...a n T C, D }, where: T C is the set of temporal constraints referring to the nominal duration T C i,dur , earliest start time T C i,est , latest start time T C i,lst , and latest end time T C i,let ; and D is the set of the activity's dependency constraints in the form of a j → a k , meaning a j depends on a k , i.e. the end time of a k must be before the start time of a j .…”