Erez Karpas, Alexander Shleyfman, Moshe Tennenholtz. Automated Verification of Social Law Robustness in STRIPS. In Laura Barbulescu, Jeremy Frank, Mausam, Stephen F. Smith, editors, Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017. pages 163-171, AAAI Press, 2017. [doi]
Abstract is missing.