Zhang, Y., & Darwiche, A. (2024). Which Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning?. The International FLAIRS Conference Proceedings, 37(1). https://doi.org/10.32473/flairs.37.1.135595