Chrpa, L. and Karpas, E. 2024. On Verifying Linear Execution Strategies in Planning Against Nature. Proceedings of the International Conference on Automated Planning and Scheduling. 34, 1 (May 2024), 86-94. DOI:https://doi.org/10.1609/icaps.v34i1.31464.