Zhang, X., A. Grastien, and C. Gretton. “A Counter-Example Based Approach to Probabilistic Conformant Planning”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 34, no. 1, May 2024, pp. 689-97, doi:10.1609/icaps.v34i1.31532.