Provable guarantees on the robustness of decision rules to causal interventions - Wang, B; Lyle, C; Kwiatkowska, M (International Joint Conferences on Artificial Intelligence Organization, 2021)