Scala E, Grastien A. Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning. ICAPS [Internet]. 2021May17 [cited 2024May12];31(1):299-307. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/15974