D. Winterer, Y. Alkhazraji, M. Katz, and M. Wehrle, “Stubborn Sets for Fully Observable Nondeterministic Planning”, ICAPS, vol. 27, no. 1, pp. 330-338, Jun. 2017.