"Automated Verification of Social Law Robustness in STRIPS."

Erez Karpas, Alexander Shleyfman, Moshe Tennenholtz (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics