Zhang, Xiaodi, Alban Grastien, and Charles Gretton. 2024. “A Counter-Example Based Approach to Probabilistic Conformant Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 34 (1):689-97. https://doi.org/10.1609/icaps.v34i1.31532.