Nir, Ronen

3 publications

AAAI 2023 Automated Verification of Social Laws in Numeric Settings Ronen Nir, Alexander Shleyfman, Erez Karpas

AAAI 2020 Automated Synthesis of Social Laws in STRIPS Ronen Nir, Alexander Shleyfman, Erez Karpas

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