Ronen Nir
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2019–2023
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | AAAI | Automated Verification of Social Laws in Numeric Settings. | Ronen Nir, Alexander Shleyfman, Erez Karpas |
| 2021 | SoCS | Learning-Based Synthesis of Social Laws in STRIPS. | Ronen Nir, Alexander Shleyfman, Erez Karpas |
| 2020 | AAAI | Automated Synthesis of Social Laws in STRIPS. | Ronen Nir, Alexander Shleyfman, Erez Karpas |
| 2019 | AAAI | Automated Verification of Social Laws for Continuous Time Multi-Robot Systems. | Ronen Nir, Erez Karpas |