[1]
D. Speck, R. Mattmüller, and B. Nebel, “Symbolic Top-k Planning”, AAAI, vol. 34, no. 06, pp. 9967-9974, Apr. 2020.