Cashmore, M.; Cimatti, A.; Magazzeni, D.; Micheli, A.; Zehtabi, P. Robustness Envelopes for Temporal Plans. AAAI 2019, 33, 7538-7545.