Karpas, Erez, Alexander Shleyfman, and Moshe Tennenholtz. 2017. “Automated Verification of Social Law Robustness in STRIPS”. Proceedings of the International Conference on Automated Planning and Scheduling 27 (1):163-71. https://doi.org/10.1609/icaps.v27i1.13817.