Chrpa, L.; Karpas, E. On Verifying Linear Execution Strategies in Planning Against Nature. ICAPS 2024, 34, 86-94.