M. Steinmetz, 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”, ICAPS, vol. 34, no. 1, pp. 555-564, May 2024.