Automated Verification of Social Laws for Continuous Time Multi-Robot Systems.
Ronen Nir and Erez Karpas.
The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) .
Automated Synthesis of Social Laws in STRIPS
Ronen Nir, Alexander Shleyfman, and Erez Karpas.
The Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20)