Scala, E. and Grastien, A. (2021) “Non-Deterministic Conformant Planning Using a Counterexample-Guided Incremental Compilation to Classical Planning”, Proceedings of the International Conference on Automated Planning and Scheduling, 31(1), pp. 299-307. doi: 10.1609/icaps.v31i1.15974.