Zhang, X.; Grastien, A.; Gretton, C. A Counter-Example Based Approach to Probabilistic Conformant Planning. ICAPS 2024, 34, 689-697.