This repository contains the software and benchmarks for the paper "Automated Verification of Social Law Robustness in STRIPS" by Erez Karpas, Alexander Shleyfman, and Moshe Tennenholtz, to appear in ICAPS 2017
-
Notifications
You must be signed in to change notification settings - Fork 1
This repository contains the software and benchmarks for the paper "Automated Verification of Social Law Robustness in STRIPS" by Erez Karpas, Alexander Shleyfman, and Moshe Tennenholtz, to appear in ICAPS 2017
karpase/social_laws
About
This repository contains the software and benchmarks for the paper "Automated Verification of Social Law Robustness in STRIPS" by Erez Karpas, Alexander Shleyfman, and Moshe Tennenholtz, to appear in ICAPS 2017
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published