Kasenberg D, Thielstrom R, Scheutz M. Generating Explanations for Temporal Logic Planner Decisions. ICAPS [Internet]. 2020Jun.1 [cited 2024Apr.23];30(1):449-58. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/6740