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