Boumaza, K.; Tolba, C.; Ober, I. Formal Verification of Emergent Properties. IJCAI 2021, 45.