X. Zhang, A. Grastien, and C. Gretton, “A Counter-Example Based Approach to Probabilistic Conformant Planning”, ICAPS, vol. 34, no. 1, pp. 689-697, May 2024.