Using Explainable Scheduling for the Mars 2020 Rover Mission. - Jagriti Agrawal; Amruta Yelamanchili; Steve A. Chien (CoRR, 2020)