L. Chrpa and E. Karpas, “On Verifying Linear Execution Strategies in Planning Against Nature”, ICAPS, vol. 34, no. 1, pp. 86-94, May 2024.