Zhang, Yaofang, and Adnan Darwiche. “Which Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning?”. The International FLAIRS Conference Proceedings, vol. 37, no. 1, May 2024, doi:10.32473/flairs.37.1.135595.