Chrpa L, Karpas E. On Verifying Linear Execution Strategies in Planning Against Nature. ICAPS [Internet]. 2024May30 [cited 2024Jul.26];34(1):86-94. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/31464