Zhang, Yaofang, and Adnan Darwiche. “Which Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning?”. The International FLAIRS Conference Proceedings 37, no. 1 (May 12, 2024). Accessed November 19, 2024. https://journals.flvc.org/FLAIRS/article/view/135595.