Steinmetz, Marcel, Sylvie Thiébaux, Daniel Höller, and Florent Teichteil-Königsbuch. “Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 34, no. 1 (May 30, 2024): 555-564. Accessed July 26, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/31517.