A. Pozanco, Álvaro Torralba, and D. Borrajo, “Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search”, ICAPS, vol. 34, no. 1, pp. 455-463, May 2024.