Zhang, X.; Grastien, A.; Scala, E. Computing Superior Counter-Examples for Conformant Planning. AAAI 2020, 34, 10017-10024.