Steinmetz, M., S. Thiébaux, D. Höller, and F. 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, vol. 34, no. 1, May 2024, pp. 555-64, doi:10.1609/icaps.v34i1.31517.