E. Karpas, A. Shleyfman, and M. Tennenholtz, “Automated Verification of Social Law Robustness in STRIPS”, ICAPS, vol. 27, no. 1, pp. 163–171, Jun. 2017.