X. Zhang, A. Grastien, and E. Scala, “Computing Superior Counter-Examples for Conformant Planning”, AAAI, vol. 34, no. 06, pp. 10017-10024, Apr. 2020.