Automated Verification of Social Laws for Continuous Time Multi-Robot Systems. - Ronen Nir; Erez Karpas (AAAI, 2019)

Automated Synthesis of Social Laws in STRIPS. - Ronen Nir; Alexander Shleyfman; Erez Karpas (AAAI, 2020)

Learning-Based Synthesis of Social Laws in STRIPS. - Ronen Nir; Alexander Shleyfman; Erez Karpas (SOCS, 2021)

Automated Verification of Social Laws in Numeric Settings. - Ronen Nir; Alexander Shleyfman; Erez Karpas (AAAI, 2023)