Karpas, E.; Shleyfman, A.; Tennenholtz, M. Automated Verification of Social Law Robustness in STRIPS. ICAPS 2017, 27, 163-171.