Kasenberg, D., Thielstrom, R., & Scheutz, M. (2020). Generating Explanations for Temporal Logic Planner Decisions. Proceedings of the International Conference on Automated Planning and Scheduling, 30(1), 449-458. https://doi.org/10.1609/icaps.v30i1.6740