Automated Verification of Social Law Robustness in STRIPS

Open in new window