Zhang, Y.; Darwiche, A. Which Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning?. FLAIRS 2024, 37.