In Conferences
- Automated Verification of Social Laws for Continuous Time Multi-Robot Systems
Ronen Nir and Erez Karpas
AAAI 2019 - Automated Synthesis of Social Laws in STRIPS (to be published soon)
Ronen Nir, Alexander Shleyfman, and Erez Karpas.
AAAI 2020