Login / Signup
Ronen Nir
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 4
Top Topics
Social Laws
Autonomous Robots
Multiagent Systems
Automated Verification
Top Venues
AAAI
SOCS
</>
Publications
</>
Ronen Nir
,
Alexander Shleyfman
,
Erez Karpas
Automated Verification of Social Laws in Numeric Settings.
AAAI
(2023)
Ronen Nir
,
Alexander Shleyfman
,
Erez Karpas
Learning-Based Synthesis of Social Laws in STRIPS.
SOCS
(2021)
Ronen Nir
,
Alexander Shleyfman
,
Erez Karpas
Automated Synthesis of Social Laws in STRIPS.
AAAI
(2020)
Ronen Nir
,
Erez Karpas
Automated Verification of Social Laws for Continuous Time Multi-Robot Systems.
AAAI
(2019)