[1]
D. Kasenberg, R. Thielstrom, and M. Scheutz, “Generating Explanations for Temporal Logic Planner Decisions”, ICAPS, vol. 30, no. 1, pp. 449-458, Jun. 2020.